diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2024-07-27 11:08:16 +0200 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2024-08-10 12:07:17 +0200 |
| commit | 99468bb7609ad5f598ef105860ceb32bc1b95074 (patch) | |
| tree | 9f0c30d79468e26d2ef8a34ce869ff98883ace55 /tests/mir-opt/unreachable_enum_branching.simple.UnreachableEnumBranching.panic-unwind.diff | |
| parent | cd40769c02e31649bae3422ec7215783bc9d416f (diff) | |
| download | rust-99468bb7609ad5f598ef105860ceb32bc1b95074.tar.gz rust-99468bb7609ad5f598ef105860ceb32bc1b95074.zip | |
Update tests
Diffstat (limited to 'tests/mir-opt/unreachable_enum_branching.simple.UnreachableEnumBranching.panic-unwind.diff')
| -rw-r--r-- | tests/mir-opt/unreachable_enum_branching.simple.UnreachableEnumBranching.panic-unwind.diff | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/tests/mir-opt/unreachable_enum_branching.simple.UnreachableEnumBranching.panic-unwind.diff b/tests/mir-opt/unreachable_enum_branching.simple.UnreachableEnumBranching.panic-unwind.diff index 8aef9914936..5c08648fac3 100644 --- a/tests/mir-opt/unreachable_enum_branching.simple.UnreachableEnumBranching.panic-unwind.diff +++ b/tests/mir-opt/unreachable_enum_branching.simple.UnreachableEnumBranching.panic-unwind.diff @@ -14,40 +14,40 @@ StorageLive(_2); _2 = Test1::C; _3 = discriminant(_2); -- switchInt(move _3) -> [0: bb4, 1: bb3, 2: bb2, otherwise: bb1]; -+ switchInt(move _3) -> [0: bb1, 1: bb1, 2: bb2, otherwise: bb1]; +- switchInt(move _3) -> [0: bb3, 1: bb2, otherwise: bb1]; ++ switchInt(move _3) -> [0: bb5, 1: bb5, 2: bb1, otherwise: bb5]; } bb1: { - unreachable; - } - - bb2: { StorageLive(_5); _5 = const "C"; _1 = &(*_5); StorageDead(_5); - goto -> bb5; + goto -> bb4; } - bb3: { + bb2: { StorageLive(_4); _4 = const "B(Empty)"; _1 = &(*_4); StorageDead(_4); - goto -> bb5; + goto -> bb4; } - bb4: { + bb3: { _1 = const "A(Empty)"; - goto -> bb5; + goto -> bb4; } - bb5: { + bb4: { StorageDead(_2); StorageDead(_1); _0 = const (); return; ++ } ++ ++ bb5: { ++ unreachable; } } |
