Predicate MakeWithSplitting::Cached::Public::getNodeCfgScope
Gets the CFG scope of node n
. Unlike getCfgScope
, this predicate
is calculated based on reachability from an entry node, and it may
yield different results for AST elements that are split into multiple
scopes.
Import path
import codeql.controlflow.Cfg