Predicate bbDominates
Holds if dominator is a dominator of node in the control-flow graph of
basic blocks. This is reflexive.
Import path
import semmle.code.cpp.controlflow.Dominancepredicate bbDominates(BasicBlock dominator, BasicBlock node)Holds if dominator is a dominator of node in the control-flow graph of
basic blocks. This is reflexive.
import semmle.code.cpp.controlflow.Dominancepredicate bbDominates(BasicBlock dominator, BasicBlock node)