Member predicate Guard::controlsBasicBlock
Holds if basic block bb
is guarded by this expression having value v
.
predicate controlsBasicBlock(BasicBlock bb, AbstractValue v)
Holds if basic block bb
is guarded by this expression having value v
.
predicate controlsBasicBlock(BasicBlock bb, AbstractValue v)