summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/issue_41110.test.ElaborateDrops.panic-unwind.diff
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/issue_41110.test.ElaborateDrops.panic-unwind.diff')
-rw-r--r--tests/mir-opt/issue_41110.test.ElaborateDrops.panic-unwind.diff102
1 files changed, 102 insertions, 0 deletions
diff --git a/tests/mir-opt/issue_41110.test.ElaborateDrops.panic-unwind.diff b/tests/mir-opt/issue_41110.test.ElaborateDrops.panic-unwind.diff
new file mode 100644
index 000000000..254658c81
--- /dev/null
+++ b/tests/mir-opt/issue_41110.test.ElaborateDrops.panic-unwind.diff
@@ -0,0 +1,102 @@
+- // MIR for `test` before ElaborateDrops
++ // MIR for `test` after ElaborateDrops
+
+ fn test() -> () {
+ let mut _0: ();
+ let _1: S;
+ let _3: ();
+ let mut _4: S;
+ let mut _5: S;
++ let mut _6: bool;
+ scope 1 {
+ debug u => _1;
+ let mut _2: S;
+ scope 2 {
+ debug v => _2;
+ }
+ }
+
+ bb0: {
++ _6 = const false;
+ StorageLive(_1);
++ _6 = const true;
+ _1 = S;
+ StorageLive(_2);
+ _2 = S;
+ StorageLive(_3);
+ StorageLive(_4);
+ _4 = move _2;
+ _3 = std::mem::drop::<S>(move _4) -> [return: bb1, unwind: bb7];
+ }
+
+ bb1: {
+ StorageDead(_4);
+ StorageDead(_3);
+ StorageLive(_5);
++ _6 = const false;
+ _5 = move _1;
+- drop(_2) -> [return: bb2, unwind: bb3];
++ goto -> bb2;
+ }
+
+ bb2: {
+ _2 = move _5;
+- drop(_5) -> [return: bb4, unwind: bb8];
++ goto -> bb4;
+ }
+
+ bb3 (cleanup): {
+ _2 = move _5;
+ drop(_5) -> [return: bb8, unwind terminate];
+ }
+
+ bb4: {
+ StorageDead(_5);
+ _0 = const ();
+ drop(_2) -> [return: bb5, unwind: bb9];
+ }
+
+ bb5: {
+ StorageDead(_2);
+- drop(_1) -> [return: bb6, unwind continue];
++ goto -> bb6;
+ }
+
+ bb6: {
++ _6 = const false;
+ StorageDead(_1);
+ return;
+ }
+
+ bb7 (cleanup): {
+- drop(_4) -> [return: bb8, unwind terminate];
++ goto -> bb8;
+ }
+
+ bb8 (cleanup): {
+- drop(_2) -> [return: bb9, unwind terminate];
++ goto -> bb9;
+ }
+
+ bb9 (cleanup): {
+- drop(_1) -> [return: bb10, unwind terminate];
++ goto -> bb13;
+ }
+
+ bb10 (cleanup): {
+ resume;
++ }
++
++ bb11 (cleanup): {
++ unreachable;
++ }
++
++ bb12 (cleanup): {
++ drop(_1) -> [return: bb10, unwind terminate];
++ }
++
++ bb13 (cleanup): {
++ switchInt(_6) -> [0: bb10, otherwise: bb12];
+ }
+ }
+