Member predicate BasicBlock::strictlyPostDominates
Holds if this basic block strictly post-dominates basic block bb
.
That is, all paths reaching a normal exit point basic block from basic
block bb
must go through this basic block (which must be different
from bb
).
Example:
def m b
if b
puts "b"
end
puts "m"
end
The basic block on line 5 strictly post-dominates the basic block on
line 3 (all paths to the exit point of m
from puts "b"
must go
through puts "m"
).
predicate strictlyPostDominates(BasicBlock bb)