Member predicate BasicBlock::getATrueSuccessor
Gets an immediate true
successor, if any.
An immediate true
successor is a successor that is reached when
the condition that ends this basic block evaluates to true
.
Example:
if (x < 0)
x = -x;
The basic block on line 2 is an immediate true
successor of the
basic block on line 1.