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
)