Predicate bbPostDominates
DEPRECATED: Use BasicBlock::postDominates
instead.
Holds if dom
post-dominates node
. (This is reflexive.)
Import path
import java
predicate bbPostDominates(BasicBlock dom, BasicBlock node)
DEPRECATED: Use BasicBlock::postDominates
instead.
Holds if dom
post-dominates node
. (This is reflexive.)
import java
predicate bbPostDominates(BasicBlock dom, BasicBlock node)