Skip to content

Commit efedfa1

Browse files
committed
Rust: move optionalStep/Barrier predicates into Cached module
1 parent f5fe531 commit efedfa1

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

+1-6
Original file line numberDiff line numberDiff line change
@@ -1127,12 +1127,7 @@ private module Cached {
11271127
/** Holds if `n` is a flow sink of kind `kind`. */
11281128
cached
11291129
predicate sinkNode(Node n, string kind) { n.(FlowSummaryNode).isSink(kind, _) }
1130-
}
1131-
1132-
import Cached
11331130

1134-
cached
1135-
private module OptionalSteps {
11361131
/**
11371132
* A step in a flow summary defined using `OptionalStep[name]`. An `OptionalStep` is "opt-in", which means
11381133
* 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 {
11551150
}
11561151
}
11571152

1158-
import OptionalSteps
1153+
import Cached

0 commit comments

Comments
 (0)