Member predicate ConditionBlock::controls
DEPRECATED: Use edgeDominates
instead.
predicate controls(BasicBlock controlled, ConditionalSuccessor s)
DEPRECATED: Use edgeDominates
instead.
predicate controls(BasicBlock controlled, ConditionalSuccessor s)