Merging upstream version 1.72.1+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 47 insertions, 0 deletions

diff --git a/tests/mir-opt/inline/issue_106141.outer.Inline.panic-abort.diff b/tests/mir-opt/inline/issue_106141.outer.Inline.panic-abort.diff
new file mode 100644
index 000000000..3d0c10725
--- /dev/null
+++ b/tests/mir-opt/inline/issue_106141.outer.Inline.panic-abort.diff
@@ -0,0 +1,47 @@
+- // MIR for `outer` before Inline
++ // MIR for `outer` after Inline
+  
+  fn outer() -> usize {
+      let mut _0: usize;
++     scope 1 (inlined inner) {
++         let mut _1: &[bool; 1];
++         let mut _2: bool;
++         let mut _3: bool;
++         scope 2 {
++             debug buffer => const _;
++             scope 3 {
++                 debug index => _0;
++             }
++         }
++     }
+  
+      bb0: {
+-         _0 = inner() -> [return: bb1, unwind unreachable];
++         StorageLive(_1);
++         _1 = const _;
++         _0 = index() -> [return: bb1, unwind unreachable];
+      }
+  
+      bb1: {
++         StorageLive(_3);
++         _2 = Lt(_0, const 1_usize);
++         assert(move _2, "index out of bounds: the length is {} but the index is {}", const 1_usize, _0) -> [success: bb2, unwind unreachable];
++     }
++ 
++     bb2: {
++         _3 = (*_1)[_0];
++         switchInt(move _3) -> [0: bb3, otherwise: bb4];
++     }
++ 
++     bb3: {
++         _0 = const 0_usize;
++         goto -> bb4;
++     }
++ 
++     bb4: {
++         StorageDead(_3);
++         StorageDead(_1);
+          return;
+      }
+  }
+