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

Predicate successors_extended

Holds if there is a control-flow edge from source to target in either the extractor-generated control-flow graph or in a subclass of AdditionalControlFlowEdge. Use this relation instead of qlCFGSuccessor.

Import path

import cpp
predicate successors_extended(ControlFlowNodeBase source, ControlFlowNodeBase target)