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

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 )