CodeQL library for C#

Member predicate ControlFlow::Node::getAFalseSuccessor

Gets an immediate false successor, if any.

An immediate false successor is a successor that is reached when this condition evaluates to false.


if (!(x >= 0))
    x = -x;

The node on line 2 is an immediate false successor of the node on line 1.

Node getAFalseSuccessor()