]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | - // MIR for `main` before ConstProp |
2 | + // MIR for `main` after ConstProp | |
3 | ||
4 | fn main() -> () { | |
064997fb FG |
5 | let mut _0: (); // return place in scope 0 at $DIR/const_prop_fails_gracefully.rs:+0:11: +0:11 |
6 | let _1: usize; // in scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:9: +2:10 | |
7 | let mut _2: *const i32; // in scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:13: +2:30 | |
8 | let _3: &i32; // in scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:13: +2:16 | |
9 | let _4: (); // in scope 0 at $DIR/const_prop_fails_gracefully.rs:+3:5: +3:12 | |
10 | let mut _5: usize; // in scope 0 at $DIR/const_prop_fails_gracefully.rs:+3:10: +3:11 | |
ba9703b0 | 11 | scope 1 { |
064997fb | 12 | debug x => _1; // in scope 1 at $DIR/const_prop_fails_gracefully.rs:+2:9: +2:10 |
ba9703b0 XL |
13 | } |
14 | ||
15 | bb0: { | |
064997fb FG |
16 | StorageLive(_1); // scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:9: +2:10 |
17 | StorageLive(_2); // scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:13: +2:30 | |
18 | StorageLive(_3); // scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:13: +2:16 | |
19 | _3 = const FOO; // scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:13: +2:16 | |
ba9703b0 XL |
20 | // mir::Constant |
21 | // + span: $DIR/const_prop_fails_gracefully.rs:7:13: 7:16 | |
5e7ed085 | 22 | // + literal: Const { ty: &i32, val: Unevaluated(FOO, [], None) } |
064997fb FG |
23 | _2 = &raw const (*_3); // scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:13: +2:16 |
24 | _1 = move _2 as usize (PointerExposeAddress); // scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:13: +2:39 | |
25 | StorageDead(_2); // scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:38: +2:39 | |
26 | StorageDead(_3); // scope 0 at $DIR/const_prop_fails_gracefully.rs:+2:39: +2:40 | |
27 | StorageLive(_4); // scope 1 at $DIR/const_prop_fails_gracefully.rs:+3:5: +3:12 | |
28 | StorageLive(_5); // scope 1 at $DIR/const_prop_fails_gracefully.rs:+3:10: +3:11 | |
29 | _5 = _1; // scope 1 at $DIR/const_prop_fails_gracefully.rs:+3:10: +3:11 | |
30 | _4 = read(move _5) -> bb1; // scope 1 at $DIR/const_prop_fails_gracefully.rs:+3:5: +3:12 | |
ba9703b0 XL |
31 | // mir::Constant |
32 | // + span: $DIR/const_prop_fails_gracefully.rs:8:5: 8:9 | |
064997fb | 33 | // + literal: Const { ty: fn(usize) {read}, val: Value(<ZST>) } |
ba9703b0 XL |
34 | } |
35 | ||
36 | bb1: { | |
064997fb FG |
37 | StorageDead(_5); // scope 1 at $DIR/const_prop_fails_gracefully.rs:+3:11: +3:12 |
38 | StorageDead(_4); // scope 1 at $DIR/const_prop_fails_gracefully.rs:+3:12: +3:13 | |
39 | nop; // scope 0 at $DIR/const_prop_fails_gracefully.rs:+0:11: +4:2 | |
40 | StorageDead(_1); // scope 0 at $DIR/const_prop_fails_gracefully.rs:+4:1: +4:2 | |
41 | return; // scope 0 at $DIR/const_prop_fails_gracefully.rs:+4:2: +4:2 | |
ba9703b0 XL |
42 | } |
43 | } | |
44 |