Data flow: Add nomagic to storeCand()

hvitved · hvitved · commit bc00877ff245 · 2019-05-20T12:05:20.000+02:00
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl2.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl2.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl3.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl3.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl4.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl4.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl5.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl5.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplDepr.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplDepr.qll
@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {
   )
 }
 
+pragma[nomagic]
 private predicate storeCand(Content f, Configuration conf) {
   exists(Node n1, Node n2 |
     store(n1, f, n2) and

Original file line number	Diff line number	Diff line change
`@@ -683,6 +683,7 @@ private predicate readCand2(Content f, Configuration config) {`
`683`	`683`	`)`
`684`	`684`	`}`
`685`	`685`
	`686`	`+pragma[nomagic]`
`686`	`687`	`private predicate storeCand(Content f, Configuration conf) {`
`687`	`688`	`exists(Node n1, Node n2 \|`
`688`	`689`	`store(n1, f, n2) and`