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)