Predicate iDominates
Holds if dominator is an immediate dominator of node in the control-flow
graph.
Import path
import semmle.code.cpp.controlflow.Dominancepredicate iDominates(ControlFlowNode dominator, ControlFlowNode node)Holds if dominator is an immediate dominator of node in the control-flow
graph.
import semmle.code.cpp.controlflow.Dominancepredicate iDominates(ControlFlowNode dominator, ControlFlowNode node)