summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/inline/issue_106141.outer.Inline.panic-unwind.diff
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/inline/issue_106141.outer.Inline.panic-unwind.diff')
-rw-r--r--tests/mir-opt/inline/issue_106141.outer.Inline.panic-unwind.diff47
1 files changed, 47 insertions, 0 deletions
diff --git a/tests/mir-opt/inline/issue_106141.outer.Inline.panic-unwind.diff b/tests/mir-opt/inline/issue_106141.outer.Inline.panic-unwind.diff
new file mode 100644
index 000000000..16a19f4a3
--- /dev/null
+++ b/tests/mir-opt/inline/issue_106141.outer.Inline.panic-unwind.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 continue];
++ StorageLive(_1);
++ _1 = const _;
++ _0 = index() -> [return: bb1, unwind continue];
+ }
+
+ 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 continue];
++ }
++
++ bb2: {
++ _3 = (*_1)[_0];
++ switchInt(move _3) -> [0: bb3, otherwise: bb4];
++ }
++
++ bb3: {
++ _0 = const 0_usize;
++ goto -> bb4;
++ }
++
++ bb4: {
++ StorageDead(_3);
++ StorageDead(_1);
+ return;
+ }
+ }
+