From bc00877ff2459ba253d5659dbe36d47145c28190 Mon Sep 17 00:00:00 2001
From: Tom Hvitved <tom@semmle.com>
Date: Mon, 20 May 2019 12:05:20 +0200
Subject: [PATCH] Data flow: Add `nomagic` to `storeCand()`

---
 cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll    | 1 +
 cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll   | 1 +
 cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll   | 1 +
 cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll   | 1 +
 cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll | 1 +
 .../src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll   | 1 +
 .../src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll   | 1 +
 .../src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll   | 1 +
 .../ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll | 1 +
 java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll  | 1 +
 java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl2.qll | 1 +
 java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl3.qll | 1 +
 java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl4.qll | 1 +
 java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl5.qll | 1 +
 .../src/semmle/code/java/dataflow/internal/DataFlowImplDepr.qll  | 1 +
 15 files changed, 15 insertions(+)

diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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
index ac087ed1748..8a62e2fe10d 100644
--- 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