From efedfa1fe2ddefc12e1d4288477bb012a17732c8 Mon Sep 17 00:00:00 2001 From: Arthur Baars Date: Thu, 20 Mar 2025 13:10:38 +0100 Subject: [PATCH] Rust: move optionalStep/Barrier predicates into Cached module --- rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll index 9ece0bae058..b81158ca105 100644 --- a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll +++ b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll @@ -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