]> git.proxmox.com Git - rustc.git/blame - src/test/mir-opt/lower_intrinsics.unreachable.LowerIntrinsics.diff
New upstream version 1.67.1+dfsg1
[rustc.git] / src / test / mir-opt / lower_intrinsics.unreachable.LowerIntrinsics.diff
CommitLineData
fc512014
XL
1- // MIR for `unreachable` before LowerIntrinsics
2+ // MIR for `unreachable` after LowerIntrinsics
3
4 fn unreachable() -> ! {
064997fb
FG
5 let mut _0: !; // return place in scope 0 at $DIR/lower_intrinsics.rs:+0:25: +0:26
6 let mut _1: !; // in scope 0 at $DIR/lower_intrinsics.rs:+0:27: +2:2
7 let _2: (); // in scope 0 at $DIR/lower_intrinsics.rs:+1:14: +1:45
8 let mut _3: !; // in scope 0 at $DIR/lower_intrinsics.rs:+1:14: +1:45
fc512014
XL
9 scope 1 {
10 }
11
12 bb0: {
064997fb
FG
13 StorageLive(_2); // scope 0 at $DIR/lower_intrinsics.rs:+1:5: +1:47
14 StorageLive(_3); // scope 1 at $DIR/lower_intrinsics.rs:+1:14: +1:45
15- _3 = std::intrinsics::unreachable(); // scope 1 at $DIR/lower_intrinsics.rs:+1:14: +1:45
fc512014 16- // mir::Constant
f2b60f7d 17- // + span: $DIR/lower_intrinsics.rs:31:14: 31:43
064997fb
FG
18- // + literal: Const { ty: unsafe extern "rust-intrinsic" fn() -> ! {std::intrinsics::unreachable}, val: Value(<ZST>) }
19+ unreachable; // scope 1 at $DIR/lower_intrinsics.rs:+1:14: +1:45
fc512014
XL
20 }
21 }
22