Member predicate IRGuardCondition::valueControlsEdge
Holds if the control-flow edge (pred, succ) may be taken only if
the value of this condition is v.
predicate valueControlsEdge(IRBlock pred, IRBlock succ, AbstractValue v)Holds if the control-flow edge (pred, succ) may be taken only if
the value of this condition is v.
predicate valueControlsEdge(IRBlock pred, IRBlock succ, AbstractValue v)