]>
Commit | Line | Data |
---|---|---|
f035d41b XL |
1 | - // MIR for `foo` before ConstProp |
2 | + // MIR for `foo` after ConstProp | |
3 | ||
4 | fn foo() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/const_prop_miscompile.rs:4:10: 4:10 | |
6 | let mut _1: (i32,); // in scope 0 at $DIR/const_prop_miscompile.rs:5:9: 5:14 | |
7 | let mut _2: &mut i32; // in scope 0 at $DIR/const_prop_miscompile.rs:6:6: 6:14 | |
8 | let mut _4: i32; // in scope 0 at $DIR/const_prop_miscompile.rs:7:13: 7:20 | |
9 | scope 1 { | |
10 | debug u => _1; // in scope 1 at $DIR/const_prop_miscompile.rs:5:9: 5:14 | |
11 | let _3: bool; // in scope 1 at $DIR/const_prop_miscompile.rs:7:9: 7:10 | |
12 | scope 2 { | |
13 | debug y => _3; // in scope 2 at $DIR/const_prop_miscompile.rs:7:9: 7:10 | |
14 | } | |
15 | } | |
16 | ||
17 | bb0: { | |
18 | StorageLive(_1); // scope 0 at $DIR/const_prop_miscompile.rs:5:9: 5:14 | |
04454e1e | 19 | Deinit(_1); // scope 0 at $DIR/const_prop_miscompile.rs:5:17: 5:21 |
3dfed10e | 20 | (_1.0: i32) = const 1_i32; // scope 0 at $DIR/const_prop_miscompile.rs:5:17: 5:21 |
f035d41b XL |
21 | StorageLive(_2); // scope 1 at $DIR/const_prop_miscompile.rs:6:6: 6:14 |
22 | _2 = &mut (_1.0: i32); // scope 1 at $DIR/const_prop_miscompile.rs:6:6: 6:14 | |
23 | (*_2) = const 5_i32; // scope 1 at $DIR/const_prop_miscompile.rs:6:5: 6:18 | |
f035d41b XL |
24 | StorageDead(_2); // scope 1 at $DIR/const_prop_miscompile.rs:6:18: 6:19 |
25 | StorageLive(_3); // scope 1 at $DIR/const_prop_miscompile.rs:7:9: 7:10 | |
26 | StorageLive(_4); // scope 1 at $DIR/const_prop_miscompile.rs:7:13: 7:20 | |
27 | _4 = (_1.0: i32); // scope 1 at $DIR/const_prop_miscompile.rs:7:15: 7:18 | |
28 | _3 = Eq(move _4, const 5_i32); // scope 1 at $DIR/const_prop_miscompile.rs:7:13: 7:25 | |
f035d41b | 29 | StorageDead(_4); // scope 1 at $DIR/const_prop_miscompile.rs:7:24: 7:25 |
cdc7bbd5 | 30 | nop; // scope 0 at $DIR/const_prop_miscompile.rs:4:10: 8:2 |
f035d41b XL |
31 | StorageDead(_3); // scope 1 at $DIR/const_prop_miscompile.rs:8:1: 8:2 |
32 | StorageDead(_1); // scope 0 at $DIR/const_prop_miscompile.rs:8:1: 8:2 | |
33 | return; // scope 0 at $DIR/const_prop_miscompile.rs:8:2: 8:2 | |
34 | } | |
35 | } | |
36 |