Member predicate ConditionBlock :: immediatelyControls
Holds if basic block succ
is immediately controlled by this basic
block with conditional value s
. That is, succ
is an immediate
successor of this block, and succ
can only be reached from
the callable entry point by going via the s
edge out of this basic block.
predicate
immediatelyControls
(
BasicBlock
succ
,
ConditionalSuccessor
s
)