Predicate MakeWithSplitting::Consistency::scopeNoFirst
Holds if CFG scope scope lacks an initial AST node.
Import path
import codeql.controlflow.Cfgpredicate scopeNoFirst(CfgScope scope)Holds if CFG scope scope lacks an initial AST node.
import codeql.controlflow.Cfgpredicate scopeNoFirst(CfgScope scope)