CodeQL library for C/C++
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)