Member predicate ReachableBasicBlock::dominates
Holds if this basic block dominates bb
.
This predicate is reflexive: each reachable basic block dominates itself.
Holds if this basic block dominates bb
.
This predicate is reflexive: each reachable basic block dominates itself.