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)