Member predicate ReachableBasicBlock::strictlyPostDominates
Holds if this basic block strictly post-dominates bb.
predicate strictlyPostDominates(ReachableBasicBlock bb)Holds if this basic block strictly post-dominates bb.
predicate strictlyPostDominates(ReachableBasicBlock bb)