]>
Commit | Line | Data |
---|---|---|
48663c56 XL |
1 | #[inline(never)] |
2 | fn read(_: usize) { } | |
3 | ||
4 | fn main() { | |
5 | const FOO: &i32 = &1; | |
6 | let x = FOO as *const i32 as usize; | |
7 | read(x); | |
8 | } | |
9 | ||
10 | // END RUST SOURCE | |
11 | // START rustc.main.ConstProp.before.mir | |
12 | // bb0: { | |
13 | // ... | |
dfeec247 | 14 | // _2 = &raw const (*_3); |
48663c56 XL |
15 | // _1 = move _2 as usize (Misc); |
16 | // ... | |
dfeec247 XL |
17 | // _5 = _1; |
18 | // _4 = const read(move _5) -> bb1; | |
48663c56 XL |
19 | // } |
20 | // END rustc.main.ConstProp.before.mir | |
21 | // START rustc.main.ConstProp.after.mir | |
22 | // bb0: { | |
23 | // ... | |
dfeec247 XL |
24 | // _3 = const main::FOO; |
25 | // _2 = &raw const (*_3); | |
48663c56 XL |
26 | // _1 = move _2 as usize (Misc); |
27 | // ... | |
dfeec247 XL |
28 | // _5 = _1; |
29 | // _4 = const read(move _5) -> bb1; | |
48663c56 XL |
30 | // } |
31 | // END rustc.main.ConstProp.after.mir |