Member predicate BasicBlock::getAFalseSuccessor

Gets an immediate false successor, if any.

An immediate false successor is a successor that is reached when the condition that ends this basic block evaluates to false.

Example:

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

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