]>
Commit | Line | Data |
---|---|---|
f035d41b XL |
1 | // MIR for `foo` 0 mir_map |
2 | ||
3 | fn foo(_1: [(Never, u32); 1]) -> u32 { | |
4 | debug xs => _1; // in scope 0 at $DIR/issue-72181.rs:16:8: 16:10 | |
5 | let mut _0: u32; // return place in scope 0 at $DIR/issue-72181.rs:16:34: 16:37 | |
6 | let _2: usize; // in scope 0 at $DIR/issue-72181.rs:16:43: 16:44 | |
7 | let mut _3: usize; // in scope 0 at $DIR/issue-72181.rs:16:40: 16:45 | |
8 | let mut _4: bool; // in scope 0 at $DIR/issue-72181.rs:16:40: 16:45 | |
9 | ||
10 | bb0: { | |
11 | StorageLive(_2); // scope 0 at $DIR/issue-72181.rs:16:43: 16:44 | |
12 | _2 = const 0_usize; // scope 0 at $DIR/issue-72181.rs:16:43: 16:44 | |
f035d41b XL |
13 | _3 = Len(_1); // scope 0 at $DIR/issue-72181.rs:16:40: 16:45 |
14 | _4 = Lt(_2, _3); // scope 0 at $DIR/issue-72181.rs:16:40: 16:45 | |
15 | assert(move _4, "index out of bounds: the len is {} but the index is {}", move _3, _2) -> [success: bb2, unwind: bb1]; // scope 0 at $DIR/issue-72181.rs:16:40: 16:45 | |
16 | } | |
17 | ||
18 | bb1 (cleanup): { | |
19 | resume; // scope 0 at $DIR/issue-72181.rs:16:1: 16:49 | |
20 | } | |
21 | ||
22 | bb2: { | |
23 | _0 = (_1[_2].1: u32); // scope 0 at $DIR/issue-72181.rs:16:40: 16:47 | |
24 | StorageDead(_2); // scope 0 at $DIR/issue-72181.rs:16:48: 16:49 | |
25 | goto -> bb3; // scope 0 at $DIR/issue-72181.rs:16:49: 16:49 | |
26 | } | |
27 | ||
28 | bb3: { | |
29 | return; // scope 0 at $DIR/issue-72181.rs:16:49: 16:49 | |
30 | } | |
31 | } |