CodeQL library for C/C++
codeql/cpp-all 2.0.3-dev (changelog, source)
Search

Predicate dominates

Holds if dominator is a dominator of node in the control-flow graph. This is reflexive.

Import path

import cpp
predicate dominates(ControlFlowNode dominator, ControlFlowNode node)