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