Predicate MakeWithSplitting::first
Holds if first is the first element executed within control flow
element cft.
Import path
import codeql.controlflow.Cfgpredicate first(ControlFlowTree cft, AstNode first)Holds if first is the first element executed within control flow
element cft.
import codeql.controlflow.Cfgpredicate first(ControlFlowTree cft, AstNode first)