Member predicate BasicBlock :: inLoop
Holds if this basic block is in a loop of the control-flow graph. This
includes loops created by goto statements. This predicate may not hold
even if this basic block is syntactically inside a while loop if the
necessary back edges are unreachable.
predicate
inLoop
(
)