CodeQL library for C#
Search

Member predicate ControlFlow::Node::strictlyPostDominates

Holds if this node strictly post-dominates that node.

That is, all paths reaching a normal callable exit node (an AnnotatedExitNode with a normal exit type) from that node must go through this node (which must be different from that node).

Example:

int M(string s)
{
    try
    {
        return s.Length;
    }
    finally
    {
         Console.WriteLine("M");
    }
}

The node on line 9 strictly post-dominates the node on line 5 (all paths to the exit point of M from return s.Length; must go through the WriteLine call).

predicate strictlyPostDominates(Node that)