Member predicate BasicBlock::inLoop
Holds if this basic block is in a loop in 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()