]>
Commit | Line | Data |
---|---|---|
f035d41b XL |
1 | // MIR for `main` 0 mir_map |
2 | ||
3 | fn main() -> () { | |
064997fb FG |
4 | let mut _0: (); // return place in scope 0 at $DIR/issue-72181.rs:+0:11: +0:11 |
5 | let mut _1: usize; // in scope 0 at $DIR/issue-72181.rs:+1:13: +1:34 | |
6 | let mut _3: Foo; // in scope 0 at $DIR/issue-72181.rs:+3:14: +3:27 | |
7 | let mut _4: Foo; // in scope 0 at $DIR/issue-72181.rs:+3:29: +3:42 | |
8 | let mut _5: u64; // in scope 0 at $DIR/issue-72181.rs:+4:13: +4:30 | |
9 | let _6: usize; // in scope 0 at $DIR/issue-72181.rs:+4:24: +4:25 | |
10 | let mut _7: usize; // in scope 0 at $DIR/issue-72181.rs:+4:22: +4:26 | |
11 | let mut _8: bool; // in scope 0 at $DIR/issue-72181.rs:+4:22: +4:26 | |
f035d41b | 12 | scope 1 { |
064997fb | 13 | let _2: [Foo; 2]; // in scope 1 at $DIR/issue-72181.rs:+3:9: +3:10 |
f035d41b | 14 | scope 2 { |
064997fb | 15 | debug f => _2; // in scope 2 at $DIR/issue-72181.rs:+3:9: +3:10 |
f035d41b XL |
16 | scope 3 { |
17 | } | |
18 | scope 4 { | |
19 | } | |
20 | } | |
21 | } | |
22 | ||
23 | bb0: { | |
064997fb FG |
24 | StorageLive(_1); // scope 0 at $DIR/issue-72181.rs:+1:13: +1:34 |
25 | _1 = std::mem::size_of::<Foo>() -> [return: bb1, unwind: bb3]; // scope 0 at $DIR/issue-72181.rs:+1:13: +1:34 | |
f035d41b XL |
26 | // mir::Constant |
27 | // + span: $DIR/issue-72181.rs:24:13: 24:32 | |
064997fb | 28 | // + literal: Const { ty: fn() -> usize {std::mem::size_of::<Foo>}, val: Value(<ZST>) } |
f035d41b XL |
29 | } |
30 | ||
29967ef6 | 31 | bb1: { |
064997fb FG |
32 | StorageDead(_1); // scope 0 at $DIR/issue-72181.rs:+1:34: +1:35 |
33 | StorageLive(_2); // scope 1 at $DIR/issue-72181.rs:+3:9: +3:10 | |
34 | StorageLive(_3); // scope 1 at $DIR/issue-72181.rs:+3:14: +3:27 | |
35 | _3 = Foo { a: const 42_u64 }; // scope 1 at $DIR/issue-72181.rs:+3:14: +3:27 | |
36 | StorageLive(_4); // scope 1 at $DIR/issue-72181.rs:+3:29: +3:42 | |
37 | _4 = Foo { a: const 10_u64 }; // scope 1 at $DIR/issue-72181.rs:+3:29: +3:42 | |
38 | _2 = [move _3, move _4]; // scope 1 at $DIR/issue-72181.rs:+3:13: +3:43 | |
39 | StorageDead(_4); // scope 1 at $DIR/issue-72181.rs:+3:42: +3:43 | |
40 | StorageDead(_3); // scope 1 at $DIR/issue-72181.rs:+3:42: +3:43 | |
41 | FakeRead(ForLet(None), _2); // scope 1 at $DIR/issue-72181.rs:+3:9: +3:10 | |
42 | StorageLive(_5); // scope 2 at $DIR/issue-72181.rs:+4:13: +4:30 | |
43 | StorageLive(_6); // scope 4 at $DIR/issue-72181.rs:+4:24: +4:25 | |
44 | _6 = const 0_usize; // scope 4 at $DIR/issue-72181.rs:+4:24: +4:25 | |
45 | _7 = Len(_2); // scope 4 at $DIR/issue-72181.rs:+4:22: +4:26 | |
46 | _8 = Lt(_6, _7); // scope 4 at $DIR/issue-72181.rs:+4:22: +4:26 | |
47 | assert(move _8, "index out of bounds: the length is {} but the index is {}", move _7, _6) -> [success: bb2, unwind: bb3]; // scope 4 at $DIR/issue-72181.rs:+4:22: +4:26 | |
f035d41b XL |
48 | } |
49 | ||
29967ef6 | 50 | bb2: { |
064997fb FG |
51 | _5 = (_2[_6].0: u64); // scope 4 at $DIR/issue-72181.rs:+4:22: +4:28 |
52 | StorageDead(_6); // scope 2 at $DIR/issue-72181.rs:+4:30: +4:31 | |
53 | StorageDead(_5); // scope 2 at $DIR/issue-72181.rs:+4:30: +4:31 | |
54 | _0 = const (); // scope 0 at $DIR/issue-72181.rs:+0:11: +5:2 | |
55 | StorageDead(_2); // scope 1 at $DIR/issue-72181.rs:+5:1: +5:2 | |
56 | return; // scope 0 at $DIR/issue-72181.rs:+5:2: +5:2 | |
f035d41b XL |
57 | } |
58 | ||
29967ef6 | 59 | bb3 (cleanup): { |
064997fb | 60 | resume; // scope 0 at $DIR/issue-72181.rs:+0:1: +5:2 |
f035d41b XL |
61 | } |
62 | } |