C#/Java: Remove cached from wrapper predicate

2026-04-30 11:15:13 +02:00 · 2019-08-21 09:43:13 +02:00
parent 4b7813b98e
commit c9ea5ad9a3
2 changed files with 8 additions and 10 deletions
--- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowUtil.qll
+++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowUtil.qll
@@ -350,7 +350,6 @@ predicate hasNonlocalValue(FieldRead fr) {
 /**
 * Holds if data can flow from `node1` to `node2` in one local step.
 */
-cached
 predicate localFlowStep(Node node1, Node node2) {
  simpleLocalFlowStep(node1, node2)
 }