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