Member predicate SubBasicBlock::lastInBB
Holds if this SubBasicBlock
comes last in its basic block. This is the
only condition under which a SubBasicBlock
may have multiple successors.
predicate lastInBB()
Holds if this SubBasicBlock
comes last in its basic block. This is the
only condition under which a SubBasicBlock
may have multiple successors.
predicate lastInBB()