Predicate bbIDominates
Holds if dominator is an immediate dominator of node in the control-flow
graph of basic blocks.
Import path
import semmle.code.cpp.controlflow.Dominancepredicate bbIDominates(BasicBlock dom, BasicBlock node)Holds if dominator is an immediate dominator of node in the control-flow
graph of basic blocks.
import semmle.code.cpp.controlflow.Dominancepredicate bbIDominates(BasicBlock dom, BasicBlock node)