CodeQL library for Rust
codeql/rust-all 0.1.11 (changelog, source)
Search

Predicate MakeWithSplitting::Consistency::scopeNoFirst

Holds if CFG scope scope lacks an initial AST node.

Import path

import codeql.controlflow.Cfg
predicate scopeNoFirst(CfgScope scope)