Predicate Make::Cached::bbIPostDominates
Holds if dom is an immediate post-dominator of bb.
Import path
import codeql.controlflow.BasicBlockpredicate bbIPostDominates(BasicBlock dom, BasicBlock bb)Holds if dom is an immediate post-dominator of bb.
import codeql.controlflow.BasicBlockpredicate bbIPostDominates(BasicBlock dom, BasicBlock bb)