Member predicate SsaSourceVariable :: hasRefinementEdge
Holds if the edge pred
->succ
defines an ESSA variable for this variable in such a way
that the new variable is a refinement in some way of the variable used at use
.
predicate
hasRefinementEdge
(
ControlFlowNode
use
,
BasicBlock
pred
,
BasicBlock
succ
)