Predicate MakeWithSplitting::succ
Holds if succ is a control flow successor for pred, given that pred
finishes with completion c.
Import path
import codeql.controlflow.Cfgpredicate succ(AstNode pred, AstNode succ, Completion c)Holds if succ is a control flow successor for pred, given that pred
finishes with completion c.
import codeql.controlflow.Cfgpredicate succ(AstNode pred, AstNode succ, Completion c)