Predicate MakeWithSplitting::ViewCfgQuery::edges
Holds if pred -> succ is an edge in the CFG.
Import path
import codeql.controlflow.Cfgpredicate edges(RelevantNode pred, RelevantNode succ, string attr, string val)Holds if pred -> succ is an edge in the CFG.
import codeql.controlflow.Cfgpredicate edges(RelevantNode pred, RelevantNode succ, string attr, string val)