Member predicate BasicBlock::strictlyDominates
Holds if this basic block strictly dominates basic block bb
.
That is, all paths reaching basic block bb
from some entry point
basic block must go through this basic block (which must be different
from bb
).
Example:
def m b
if b
return 0
end
return 1
end
The basic block starting on line 2 strictly dominates the
basic block on line 5 (all paths from the entry point of m
to return 1
must go through the if
block).
predicate strictlyDominates(BasicBlock bb)