Member predicate SsaDefinition::reachesEndOfBB
Holds if (this, v) reaches the end of basic block b.
predicate reachesEndOfBB(StackVariable v, BasicBlock b)Holds if (this, v) reaches the end of basic block b.
predicate reachesEndOfBB(StackVariable v, BasicBlock b)