Member predicate IRBlock :: strictlyPostDominates
Holds if this block strictly post-dominates block
.
Block A
strictly post-dominates block B
if block A
post-dominates block B
and blocks A
and B
are not the same block.
predicate
strictlyPostDominates
(
IRBlock
block
)