From e18716fc881938c7ab46de98b1a8c00855e4dbf3 Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Mon, 24 Feb 2020 23:07:07 +0100
Subject: [PATCH 1/2] bump llvm

---
 src/llvm-project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/llvm-project b/src/llvm-project
index 2cb41005ed5c4..7d5e7c0230536 160000
--- a/src/llvm-project
+++ b/src/llvm-project
@@ -1 +1 @@
-Subproject commit 2cb41005ed5c4747b10d2bf01d8779d3bb4ae32d
+Subproject commit 7d5e7c023053660ffe494d72ce471e48ecc7f49b

From acb239945aa8a27f0cfd1992c943f4617260ba26 Mon Sep 17 00:00:00 2001
From: Ivan Komarov <Ivan.Komarov@dfyz.info>
Date: Mon, 24 Feb 2020 23:12:22 +0100
Subject: [PATCH 2/2] add test for the new poc

---
 .../issue-69225-SCEVAddExpr-wrap-flag.rs      | 33 +++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 src/test/ui/issues/issue-69225-SCEVAddExpr-wrap-flag.rs

diff --git a/src/test/ui/issues/issue-69225-SCEVAddExpr-wrap-flag.rs b/src/test/ui/issues/issue-69225-SCEVAddExpr-wrap-flag.rs
new file mode 100644
index 0000000000000..6e030f1cc4875
--- /dev/null
+++ b/src/test/ui/issues/issue-69225-SCEVAddExpr-wrap-flag.rs
@@ -0,0 +1,33 @@
+// run-fail
+// compile-flags: -C opt-level=3
+// error-pattern: index out of bounds: the len is 0 but the index is 16777216
+// ignore-wasm no panic or subprocess support
+// ignore-emscripten no panic or subprocess support
+
+fn do_test(x: usize) {
+    let mut arr = vec![vec![0u8; 3]];
+
+    let mut z = vec![0];
+    for arr_ref in arr.iter_mut() {
+        for y in 0..x {
+            for _ in 0..1 {
+                z.reserve_exact(x);
+                let iterator = std::iter::repeat(0).take(x);
+                let mut cnt = 0;
+                iterator.for_each(|_| {
+                    z[0] = 0;
+                    cnt += 1;
+                });
+                let a = y * x;
+                let b = (y + 1) * x - 1;
+                let slice = &mut arr_ref[a..b];
+                slice[1 << 24] += 1;
+            }
+        }
+    }
+}
+
+fn main() {
+    do_test(1);
+    do_test(2);
+}