projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| 48663c56 | 1 | fn main() { |
| dc9dc135 | 2 | (&[1u32, 2, 3] as &[u32])[1]; |
| 48663c56 XL |
3 | } |
| 4 | ||
| 5 | // END RUST SOURCE | |
| 6 | // START rustc.main.ConstProp.before.mir | |
| dc9dc135 | 7 | // bb0: { |
| 48663c56 | 8 | // ... |
| dc9dc135 XL |
9 | // _4 = &(promoted[0]: [u32; 3]); |
| 10 | // _3 = _4; | |
| 11 | // _2 = move _3 as &[u32] (Pointer(Unsize)); | |
| 12 | // ... | |
| 13 | // _6 = const 1usize; | |
| 14 | // _7 = Len((*_2)); | |
| 15 | // _8 = Lt(_6, _7); | |
| 16 | // assert(move _8, "index out of bounds: the len is move _7 but the index is _6") -> bb1; | |
| 48663c56 | 17 | // } |
| dc9dc135 XL |
18 | // bb1: { |
| 19 | // _1 = (*_2)[_6]; | |
| 48663c56 XL |
20 | // ... |
| 21 | // return; | |
| 22 | // } | |
| 23 | // END rustc.main.ConstProp.before.mir | |
| 24 | // START rustc.main.ConstProp.after.mir | |
| 25 | // bb0: { | |
| 26 | // ... | |
| 60c5eb7d XL |
27 | // _4 = &(promoted[0]: [u32; 3]); |
| 28 | // _3 = _4; | |
| dc9dc135 XL |
29 | // _2 = move _3 as &[u32] (Pointer(Unsize)); |
| 30 | // ... | |
| 31 | // _6 = const 1usize; | |
| 32 | // _7 = const 3usize; | |
| 33 | // _8 = const true; | |
| 34 | // assert(const true, "index out of bounds: the len is move _7 but the index is _6") -> bb1; | |
| 48663c56 | 35 | // } |
| dc9dc135 | 36 | // bb1: { |
| e74abb32 | 37 | // _1 = const 2u32; |
| 48663c56 XL |
38 | // ... |
| 39 | // return; | |
| 40 | // } | |
| 41 | // END rustc.main.ConstProp.after.mir |