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 semmle.code.cpp.controlflow.ControlFlowGraphpredicate successors_extended(ControlFlowNodeBase source, ControlFlowNodeBase target)