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