Predicate bbIPostDominates
The immediate post-dominance relation on basic blocks.
Import path
import semmle.code.java.controlflow.Dominancepredicate bbIPostDominates(BasicBlock dominator, BasicBlock node)The immediate post-dominance relation on basic blocks.
import semmle.code.java.controlflow.Dominancepredicate bbIPostDominates(BasicBlock dominator, BasicBlock node)