Holds if there is a phi node for variable v
at the start of basic block
b
.
predicate phi_node(StackVariable v, BasicBlock b)
Holds if there is a phi node for variable v
at the start of basic block
b
.
predicate phi_node(StackVariable v, BasicBlock b)