Predicate Cached::barrierNode
Holds if n is a flow barrier of kind kind and model model.
Import path
import codeql.rust.dataflow.internal.DataFlowImplpredicate barrierNode(Node n, string kind, string model)Holds if n is a flow barrier of kind kind and model model.
import codeql.rust.dataflow.internal.DataFlowImplpredicate barrierNode(Node n, string kind, string model)