Member predicate SsaHelper::ssaDefinitionReachesEndOfBB
Holds if SSA variable (v, def) reaches the end of block b.
predicate ssaDefinitionReachesEndOfBB(StackVariable v, ControlFlowNode def, BasicBlock b)Holds if SSA variable (v, def) reaches the end of block b.
predicate ssaDefinitionReachesEndOfBB(StackVariable v, ControlFlowNode def, BasicBlock b)