]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // MIR for `main` after SimplifyCfg-initial |
2 | ||
3 | fn main() -> () { | |
487cf647 FG |
4 | let mut _0: (); // return place in scope 0 at $DIR/issue_38669.rs:+0:11: +0:11 |
5 | let mut _1: bool; // in scope 0 at $DIR/issue_38669.rs:+1:9: +1:25 | |
6 | let mut _2: (); // in scope 0 at $DIR/issue_38669.rs:+0:1: +8:2 | |
7 | let _3: (); // in scope 0 at $DIR/issue_38669.rs:+3:9: +5:10 | |
8 | let mut _4: bool; // in scope 0 at $DIR/issue_38669.rs:+3:12: +3:24 | |
9 | let mut _5: !; // in scope 0 at $DIR/issue_38669.rs:+3:25: +5:10 | |
ba9703b0 | 10 | scope 1 { |
487cf647 | 11 | debug should_break => _1; // in scope 1 at $DIR/issue_38669.rs:+1:9: +1:25 |
ba9703b0 XL |
12 | } |
13 | ||
14 | bb0: { | |
487cf647 FG |
15 | StorageLive(_1); // scope 0 at $DIR/issue_38669.rs:+1:9: +1:25 |
16 | _1 = const false; // scope 0 at $DIR/issue_38669.rs:+1:28: +1:33 | |
17 | FakeRead(ForLet(None), _1); // scope 0 at $DIR/issue_38669.rs:+1:9: +1:25 | |
18 | goto -> bb1; // scope 1 at $DIR/issue_38669.rs:+2:5: +7:6 | |
ba9703b0 XL |
19 | } |
20 | ||
29967ef6 | 21 | bb1: { |
487cf647 | 22 | falseUnwind -> [real: bb2, cleanup: bb5]; // scope 1 at $DIR/issue_38669.rs:+2:5: +7:6 |
ba9703b0 XL |
23 | } |
24 | ||
25 | bb2: { | |
487cf647 FG |
26 | StorageLive(_3); // scope 1 at $DIR/issue_38669.rs:+3:9: +5:10 |
27 | StorageLive(_4); // scope 1 at $DIR/issue_38669.rs:+3:12: +3:24 | |
28 | _4 = _1; // scope 1 at $DIR/issue_38669.rs:+3:12: +3:24 | |
f25598a0 | 29 | switchInt(move _4) -> [0: bb4, otherwise: bb3]; // scope 1 at $DIR/issue_38669.rs:+3:12: +3:24 |
ba9703b0 XL |
30 | } |
31 | ||
29967ef6 | 32 | bb3: { |
487cf647 FG |
33 | _0 = const (); // scope 1 at $DIR/issue_38669.rs:+4:13: +4:18 |
34 | StorageDead(_4); // scope 1 at $DIR/issue_38669.rs:+5:9: +5:10 | |
35 | StorageDead(_3); // scope 1 at $DIR/issue_38669.rs:+5:9: +5:10 | |
36 | StorageDead(_1); // scope 0 at $DIR/issue_38669.rs:+8:1: +8:2 | |
37 | return; // scope 0 at $DIR/issue_38669.rs:+8:2: +8:2 | |
ba9703b0 XL |
38 | } |
39 | ||
29967ef6 | 40 | bb4: { |
487cf647 FG |
41 | _3 = const (); // scope 1 at $DIR/issue_38669.rs:+5:10: +5:10 |
42 | StorageDead(_4); // scope 1 at $DIR/issue_38669.rs:+5:9: +5:10 | |
43 | StorageDead(_3); // scope 1 at $DIR/issue_38669.rs:+5:9: +5:10 | |
44 | _1 = const true; // scope 1 at $DIR/issue_38669.rs:+6:9: +6:28 | |
45 | _2 = const (); // scope 1 at $DIR/issue_38669.rs:+2:10: +7:6 | |
46 | goto -> bb1; // scope 1 at $DIR/issue_38669.rs:+2:5: +7:6 | |
ba9703b0 XL |
47 | } |
48 | ||
5869c6ff | 49 | bb5 (cleanup): { |
487cf647 | 50 | resume; // scope 0 at $DIR/issue_38669.rs:+0:1: +8:2 |
29967ef6 | 51 | } |
ba9703b0 | 52 | } |