]> git.lizzy.rs Git - rust.git/blobdiff - src/test/mir-opt/remove_fake_borrows.rs
Auto merge of #57609 - matthewjasper:more-restrictive-match, r=pnkfelix
[rust.git] / src / test / mir-opt / remove_fake_borrows.rs
index ebb1ef2f430b595722a74cce3b85b7da4cfc0bec..48d1c991b623ed981eda7306d6d21e87eae7e701 100644 (file)
@@ -24,10 +24,10 @@ fn main() {
 //     switchInt(move _3) -> [1isize: bb5, otherwise: bb2];
 // }
 // bb1: {
-//     goto -> bb8;
+//     goto -> bb7;
 // }
 // bb2: {
-//     goto -> bb9;
+//     goto -> bb8;
 // }
 // bb3: {
 //     unreachable;
@@ -39,14 +39,10 @@ fn main() {
 //     switchInt((*(*((_1 as Some).0: &'<empty> &'<empty> i32)))) -> [0i32: bb1, otherwise: bb2];
 // }
 // bb6: {
-//     StorageDead(_8);
-//     return;
-// }
-// bb7: {
 //     _0 = const 0i32;
-//     goto -> bb6;
+//     goto -> bb9;
 // }
-// bb8: {
+// bb7: {
 //     _4 = &shallow _1;
 //     _5 = &shallow ((_1 as Some).0: &'<empty> &'<empty> i32);
 //     _6 = &shallow (*((_1 as Some).0: &'<empty> &'<empty> i32));
@@ -57,11 +53,15 @@ fn main() {
 //     FakeRead(ForMatchGuard, _5);
 //     FakeRead(ForMatchGuard, _6);
 //     FakeRead(ForMatchGuard, _7);
-//     switchInt(move _8) -> [false: bb4, otherwise: bb7];
+//     switchInt(move _8) -> [false: bb4, otherwise: bb6];
 // }
-// bb9: {
+// bb8: {
 //     _0 = const 1i32;
-//     goto -> bb6;
+//     goto -> bb9;
+// }
+// bb9: {
+//     StorageDead(_8);
+//     return;
 // }
 // bb10: {
 //     resume;
@@ -75,10 +75,10 @@ fn main() {
 //     switchInt(move _3) -> [1isize: bb5, otherwise: bb2];
 // }
 // bb1: {
-//     goto -> bb8;
+//     goto -> bb7;
 // }
 // bb2: {
-//     goto -> bb9;
+//     goto -> bb8;
 // }
 // bb3: {
 //     unreachable;
@@ -90,14 +90,10 @@ fn main() {
 //     switchInt((*(*((_1 as Some).0: &'<empty> &'<empty> i32)))) -> [0i32: bb1, otherwise: bb2];
 // }
 // bb6: {
-//     StorageDead(_8);
-//     return;
-// }
-// bb7: {
 //     _0 = const 0i32;
-//     goto -> bb6;
+//     goto -> bb9;
 // }
-// bb8: {
+// bb7: {
 //     nop;
 //     nop;
 //     nop;
@@ -108,11 +104,15 @@ fn main() {
 //     nop;
 //     nop;
 //     nop;
-//     switchInt(move _8) -> [false: bb4, otherwise: bb7];
+//     switchInt(move _8) -> [false: bb4, otherwise: bb6];
 // }
-// bb9: {
+// bb8: {
 //     _0 = const 1i32;
-//     goto -> bb6;
+//     goto -> bb9;
+// }
+// bb9: {
+//     StorageDead(_8);
+//     return;
 // }
 // bb10: {
 //     resume;