diff options
Diffstat (limited to '')
-rw-r--r-- | tests/mir-opt/dest-prop/union.main.DestinationPropagation.panic-abort.diff | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/tests/mir-opt/dest-prop/union.main.DestinationPropagation.panic-abort.diff b/tests/mir-opt/dest-prop/union.main.DestinationPropagation.panic-abort.diff new file mode 100644 index 000000000..459a9c442 --- /dev/null +++ b/tests/mir-opt/dest-prop/union.main.DestinationPropagation.panic-abort.diff @@ -0,0 +1,32 @@ +- // MIR for `main` before DestinationPropagation ++ // MIR for `main` after DestinationPropagation + + fn main() -> () { + let mut _0: (); + let _1: main::Un; + let mut _2: u32; + let mut _3: u32; + scope 1 { + debug un => _1; + scope 2 { + } + scope 3 (inlined std::mem::drop::<u32>) { + debug _x => _3; + } + } + + bb0: { + StorageLive(_1); + StorageLive(_2); + _2 = val() -> [return: bb1, unwind unreachable]; + } + + bb1: { + StorageDead(_2); + StorageLive(_3); + StorageDead(_3); + StorageDead(_1); + return; + } + } + |