diff options
Diffstat (limited to 'tests/mir-opt/lower_intrinsics.read_via_copy_uninhabited.LowerIntrinsics.panic-unwind.diff')
-rw-r--r-- | tests/mir-opt/lower_intrinsics.read_via_copy_uninhabited.LowerIntrinsics.panic-unwind.diff | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/mir-opt/lower_intrinsics.read_via_copy_uninhabited.LowerIntrinsics.panic-unwind.diff b/tests/mir-opt/lower_intrinsics.read_via_copy_uninhabited.LowerIntrinsics.panic-unwind.diff new file mode 100644 index 000000000..95a4a83d6 --- /dev/null +++ b/tests/mir-opt/lower_intrinsics.read_via_copy_uninhabited.LowerIntrinsics.panic-unwind.diff @@ -0,0 +1,18 @@ +- // MIR for `read_via_copy_uninhabited` before LowerIntrinsics ++ // MIR for `read_via_copy_uninhabited` after LowerIntrinsics + + fn read_via_copy_uninhabited(_1: &Never) -> Never { + debug r => _1; + let mut _0: Never; + let mut _2: *const Never; + scope 1 { + } + + bb0: { + StorageLive(_2); + _2 = &raw const (*_1); +- _0 = read_via_copy::<Never>(move _2) -> unwind unreachable; ++ unreachable; + } + } + |