]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // MIR for `main` 0 mir_map |
2 | ||
3 | fn main() -> () { | |
4 | let mut _0: (); // return place in scope 0 at $DIR/issue-49232.rs:5:11: 5:11 | |
5 | let mut _1: (); // in scope 0 at $DIR/issue-49232.rs:5:1: 15:2 | |
6 | let _2: i32; // in scope 0 at $DIR/issue-49232.rs:7:13: 7:19 | |
7 | let mut _3: bool; // in scope 0 at $DIR/issue-49232.rs:8:19: 8:23 | |
8 | let mut _4: !; // in scope 0 at $DIR/issue-49232.rs:10:25: 10:30 | |
9 | let _5: (); // in scope 0 at $DIR/issue-49232.rs:13:9: 13:22 | |
10 | let mut _6: &i32; // in scope 0 at $DIR/issue-49232.rs:13:14: 13:21 | |
11 | scope 1 { | |
12 | debug beacon => _2; // in scope 1 at $DIR/issue-49232.rs:7:13: 7:19 | |
13 | } | |
14 | ||
15 | bb0: { | |
f9f354fc | 16 | goto -> bb1; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 |
ba9703b0 XL |
17 | } |
18 | ||
19 | bb1: { | |
29967ef6 | 20 | falseUnwind -> [real: bb2, cleanup: bb11]; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 |
ba9703b0 XL |
21 | } |
22 | ||
23 | bb2: { | |
f9f354fc XL |
24 | StorageLive(_2); // scope 0 at $DIR/issue-49232.rs:7:13: 7:19 |
25 | StorageLive(_3); // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 | |
26 | _3 = const true; // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 | |
cdc7bbd5 | 27 | FakeRead(ForMatchedPlace(None), _3); // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 |
94222f64 | 28 | switchInt(_3) -> [false: bb3, otherwise: bb4]; // scope 0 at $DIR/issue-49232.rs:8:13: 8:23 |
ba9703b0 XL |
29 | } |
30 | ||
29967ef6 XL |
31 | bb3: { |
32 | falseEdge -> [real: bb5, imaginary: bb4]; // scope 0 at $DIR/issue-49232.rs:9:17: 9:22 | |
ba9703b0 XL |
33 | } |
34 | ||
29967ef6 | 35 | bb4: { |
f9f354fc | 36 | _0 = const (); // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 |
29967ef6 | 37 | goto -> bb10; // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 |
ba9703b0 XL |
38 | } |
39 | ||
29967ef6 | 40 | bb5: { |
f035d41b | 41 | _2 = const 4_i32; // scope 0 at $DIR/issue-49232.rs:9:26: 9:27 |
94222f64 | 42 | goto -> bb8; // scope 0 at $DIR/issue-49232.rs:9:26: 9:27 |
ba9703b0 XL |
43 | } |
44 | ||
29967ef6 | 45 | bb6: { |
f9f354fc | 46 | unreachable; // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 |
ba9703b0 XL |
47 | } |
48 | ||
29967ef6 | 49 | bb7: { |
94222f64 | 50 | goto -> bb8; // scope 0 at $DIR/issue-49232.rs:11:13: 11:14 |
ba9703b0 XL |
51 | } |
52 | ||
29967ef6 | 53 | bb8: { |
cdc7bbd5 | 54 | FakeRead(ForLet(None), _2); // scope 0 at $DIR/issue-49232.rs:7:13: 7:19 |
f9f354fc XL |
55 | StorageDead(_3); // scope 0 at $DIR/issue-49232.rs:12:10: 12:11 |
56 | StorageLive(_5); // scope 1 at $DIR/issue-49232.rs:13:9: 13:22 | |
57 | StorageLive(_6); // scope 1 at $DIR/issue-49232.rs:13:14: 13:21 | |
58 | _6 = &_2; // scope 1 at $DIR/issue-49232.rs:13:14: 13:21 | |
29967ef6 | 59 | _5 = std::mem::drop::<&i32>(move _6) -> [return: bb9, unwind: bb11]; // scope 1 at $DIR/issue-49232.rs:13:9: 13:22 |
ba9703b0 XL |
60 | // mir::Constant |
61 | // + span: $DIR/issue-49232.rs:13:9: 13:13 | |
62 | // + literal: Const { ty: fn(&i32) {std::mem::drop::<&i32>}, val: Value(Scalar(<ZST>)) } | |
63 | } | |
64 | ||
29967ef6 | 65 | bb9: { |
f9f354fc XL |
66 | StorageDead(_6); // scope 1 at $DIR/issue-49232.rs:13:21: 13:22 |
67 | StorageDead(_5); // scope 1 at $DIR/issue-49232.rs:13:22: 13:23 | |
68 | _1 = const (); // scope 0 at $DIR/issue-49232.rs:6:10: 14:6 | |
f9f354fc XL |
69 | StorageDead(_2); // scope 0 at $DIR/issue-49232.rs:14:5: 14:6 |
70 | goto -> bb1; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 | |
ba9703b0 XL |
71 | } |
72 | ||
29967ef6 XL |
73 | bb10: { |
74 | StorageDead(_3); // scope 0 at $DIR/issue-49232.rs:12:10: 12:11 | |
75 | StorageDead(_2); // scope 0 at $DIR/issue-49232.rs:14:5: 14:6 | |
f9f354fc | 76 | return; // scope 0 at $DIR/issue-49232.rs:15:2: 15:2 |
ba9703b0 | 77 | } |
29967ef6 XL |
78 | |
79 | bb11 (cleanup): { | |
80 | resume; // scope 0 at $DIR/issue-49232.rs:5:1: 15:2 | |
81 | } | |
ba9703b0 | 82 | } |