summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/unreachable.main.UnreachablePropagation.panic-abort.diff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--tests/mir-opt/unreachable.main.UnreachablePropagation.panic-abort.diff67
1 files changed, 0 insertions, 67 deletions
diff --git a/tests/mir-opt/unreachable.main.UnreachablePropagation.panic-abort.diff b/tests/mir-opt/unreachable.main.UnreachablePropagation.panic-abort.diff
deleted file mode 100644
index eb5a0c39b..000000000
--- a/tests/mir-opt/unreachable.main.UnreachablePropagation.panic-abort.diff
+++ /dev/null
@@ -1,67 +0,0 @@
-- // MIR for `main` before UnreachablePropagation
-+ // MIR for `main` after UnreachablePropagation
-
- fn main() -> () {
- let mut _0: ();
- let mut _1: std::option::Option<Empty>;
- let mut _2: isize;
- let _5: ();
- let mut _6: bool;
- let mut _7: !;
- scope 1 {
- debug _x => _3;
- let _3: Empty;
- let mut _4: i32;
- scope 2 {
- debug _y => _4;
- }
- }
-
- bb0: {
- StorageLive(_1);
- _1 = empty() -> [return: bb1, unwind unreachable];
- }
-
- bb1: {
- _2 = discriminant(_1);
-- switchInt(move _2) -> [1: bb2, otherwise: bb6];
-+ switchInt(move _2) -> [1: bb2, otherwise: bb3];
- }
-
- bb2: {
-- StorageLive(_3);
-- _3 = move ((_1 as Some).0: Empty);
-- StorageLive(_4);
-- StorageLive(_5);
-- StorageLive(_6);
-- _6 = const true;
-- switchInt(move _6) -> [0: bb4, otherwise: bb3];
-- }
--
-- bb3: {
-- _4 = const 21_i32;
-- _5 = const ();
-- goto -> bb5;
-- }
--
-- bb4: {
-- _4 = const 42_i32;
-- _5 = const ();
-- goto -> bb5;
-- }
--
-- bb5: {
-- StorageDead(_6);
-- StorageDead(_5);
-- StorageLive(_7);
- unreachable;
- }
-
-- bb6: {
-+ bb3: {
- _0 = const ();
- StorageDead(_1);
- return;
- }
- }
-