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