Member predicate VariableUpdate::updatesAt
Holds if this variable update happens at index i
in basic block bb
.
predicate updatesAt(BasicBlock bb, int i)
Holds if this variable update happens at index i
in basic block bb
.
predicate updatesAt(BasicBlock bb, int i)