From dc0db358abe19481e475e10c32149b53370f1a1c Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Thu, 30 May 2024 05:57:31 +0200
Subject: Merging upstream version 1.72.1+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 ...st.SimplifyComparisonIntegral.panic-unwind.diff | 54 ++++++++++++++++++++++
 1 file changed, 54 insertions(+)
 create mode 100644 tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-unwind.diff

(limited to 'tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-unwind.diff')

diff --git a/tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-unwind.diff b/tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-unwind.diff
new file mode 100644
index 000000000..b708f6674
--- /dev/null
+++ b/tests/mir-opt/issue_76432.test.SimplifyComparisonIntegral.panic-unwind.diff
@@ -0,0 +1,54 @@
+- // MIR for `test` before SimplifyComparisonIntegral
++ // MIR for `test` after SimplifyComparisonIntegral
+  
+  fn test(_1: T) -> () {
+      debug x => _1;
+      let mut _0: ();
+      let _2: &[T];
+      let mut _3: &[T; 3];
+      let _4: &[T; 3];
+      let _5: [T; 3];
+      let mut _6: T;
+      let mut _7: T;
+      let mut _8: T;
+      let mut _9: usize;
+      let mut _10: usize;
+      let mut _11: bool;
+      let mut _15: !;
+      scope 1 {
+          debug v => _2;
+          let _12: &T;
+          let _13: &T;
+          let _14: &T;
+          scope 2 {
+              debug v1 => &(*_2)[0 of 3];
+              debug v2 => &(*_2)[1 of 3];
+              debug v3 => &(*_2)[2 of 3];
+          }
+      }
+  
+      bb0: {
+          StorageLive(_2);
+          StorageLive(_5);
+          _5 = [_1, _1, _1];
+          _4 = &_5;
+          _2 = _4 as &[T] (PointerCoercion(Unsize));
+          _9 = Len((*_2));
+          _10 = const 3_usize;
+-         _11 = Eq(move _9, const 3_usize);
+-         switchInt(move _11) -> [0: bb1, otherwise: bb2];
++         nop;
++         switchInt(move _9) -> [3: bb2, otherwise: bb1];
+      }
+  
+      bb1: {
+          _15 = core::panicking::panic(const "internal error: entered unreachable code") -> unwind continue;
+      }
+  
+      bb2: {
+          StorageDead(_5);
+          StorageDead(_2);
+          return;
+      }
+  }
+  
-- 
cgit v1.2.3