Member predicate ConditionBlock::immediatelyControls
DEPRECATED: Use edgeDominates
instead.
predicate immediatelyControls(BasicBlock succ, ConditionalSuccessor s)
DEPRECATED: Use edgeDominates
instead.
predicate immediatelyControls(BasicBlock succ, ConditionalSuccessor s)