hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-14 11:34:00 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: move optionalStep/Barrier predicates into Cached module

Browse Source
This commit is contained in:
Arthur Baars
2025-03-20 13:10:38 +01:00
parent f5fe531ab6
commit efedfa1fe2
1 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
View File

@@ -1127,12 +1127,7 @@ private module Cached {
/** Holds if `n` is a flow sink of kind `kind`. */
cached
predicate sinkNode(Node n, string kind) { n.(FlowSummaryNode).isSink(kind, _) }
}
import Cached
cached
private module OptionalSteps {
/**
* A step in a flow summary defined using `OptionalStep[name]`. An `OptionalStep` is "opt-in", which means
* that by default the step is not present in the flow summary and needs to be explicitly enabled by defining
@@ -1155,4 +1150,4 @@ private module OptionalSteps {
}
}
import OptionalSteps
import Cached