]>
Commit | Line | Data |
---|---|---|
064997fb FG |
1 | // MIR for `droppy` 0 mir_map |
2 | ||
3 | fn droppy() -> () { | |
4 | let mut _0: (); // return place in scope 0 at $DIR/enum_cast.rs:+0:13: +0:13 | |
5 | let _1: (); // in scope 0 at $DIR/enum_cast.rs:+1:5: +6:6 | |
6 | let _2: Droppy; // in scope 0 at $DIR/enum_cast.rs:+2:13: +2:14 | |
f2b60f7d FG |
7 | let _4: Droppy; // in scope 0 at $DIR/enum_cast.rs:+5:17: +5:18 |
8 | let mut _5: isize; // in scope 0 at $DIR/enum_cast.rs:+5:17: +5:18 | |
9 | let _6: Droppy; // in scope 0 at $DIR/enum_cast.rs:+7:9: +7:10 | |
064997fb FG |
10 | scope 1 { |
11 | debug x => _2; // in scope 1 at $DIR/enum_cast.rs:+2:13: +2:14 | |
12 | scope 2 { | |
13 | debug y => _3; // in scope 2 at $DIR/enum_cast.rs:+5:13: +5:14 | |
14 | } | |
15 | scope 3 { | |
16 | let _3: usize; // in scope 3 at $DIR/enum_cast.rs:+5:13: +5:14 | |
17 | } | |
18 | } | |
19 | scope 4 { | |
f2b60f7d | 20 | debug z => _6; // in scope 4 at $DIR/enum_cast.rs:+7:9: +7:10 |
064997fb FG |
21 | } |
22 | ||
23 | bb0: { | |
24 | StorageLive(_1); // scope 0 at $DIR/enum_cast.rs:+1:5: +6:6 | |
25 | StorageLive(_2); // scope 0 at $DIR/enum_cast.rs:+2:13: +2:14 | |
26 | _2 = Droppy::C; // scope 0 at $DIR/enum_cast.rs:+2:17: +2:26 | |
27 | FakeRead(ForLet(None), _2); // scope 0 at $DIR/enum_cast.rs:+2:13: +2:14 | |
28 | StorageLive(_3); // scope 3 at $DIR/enum_cast.rs:+5:13: +5:14 | |
f2b60f7d FG |
29 | StorageLive(_4); // scope 3 at $DIR/enum_cast.rs:+5:17: +5:18 |
30 | _4 = move _2; // scope 3 at $DIR/enum_cast.rs:+5:17: +5:18 | |
31 | _5 = discriminant(_4); // scope 3 at $DIR/enum_cast.rs:+5:17: +5:27 | |
2b03887a | 32 | _3 = move _5 as usize (IntToInt); // scope 3 at $DIR/enum_cast.rs:+5:17: +5:27 |
f2b60f7d FG |
33 | drop(_4) -> [return: bb1, unwind: bb4]; // scope 3 at $DIR/enum_cast.rs:+5:26: +5:27 |
34 | } | |
35 | ||
36 | bb1: { | |
37 | StorageDead(_4); // scope 3 at $DIR/enum_cast.rs:+5:26: +5:27 | |
064997fb FG |
38 | FakeRead(ForLet(None), _3); // scope 3 at $DIR/enum_cast.rs:+5:13: +5:14 |
39 | _1 = const (); // scope 0 at $DIR/enum_cast.rs:+1:5: +6:6 | |
40 | StorageDead(_3); // scope 1 at $DIR/enum_cast.rs:+6:5: +6:6 | |
f2b60f7d | 41 | drop(_2) -> [return: bb2, unwind: bb5]; // scope 0 at $DIR/enum_cast.rs:+6:5: +6:6 |
064997fb FG |
42 | } |
43 | ||
f2b60f7d | 44 | bb2: { |
064997fb FG |
45 | StorageDead(_2); // scope 0 at $DIR/enum_cast.rs:+6:5: +6:6 |
46 | StorageDead(_1); // scope 0 at $DIR/enum_cast.rs:+6:5: +6:6 | |
f2b60f7d FG |
47 | StorageLive(_6); // scope 0 at $DIR/enum_cast.rs:+7:9: +7:10 |
48 | _6 = Droppy::B; // scope 0 at $DIR/enum_cast.rs:+7:13: +7:22 | |
49 | FakeRead(ForLet(None), _6); // scope 0 at $DIR/enum_cast.rs:+7:9: +7:10 | |
064997fb | 50 | _0 = const (); // scope 0 at $DIR/enum_cast.rs:+0:13: +8:2 |
f2b60f7d | 51 | drop(_6) -> [return: bb3, unwind: bb5]; // scope 0 at $DIR/enum_cast.rs:+8:1: +8:2 |
064997fb FG |
52 | } |
53 | ||
f2b60f7d FG |
54 | bb3: { |
55 | StorageDead(_6); // scope 0 at $DIR/enum_cast.rs:+8:1: +8:2 | |
064997fb FG |
56 | return; // scope 0 at $DIR/enum_cast.rs:+8:2: +8:2 |
57 | } | |
58 | ||
f2b60f7d FG |
59 | bb4 (cleanup): { |
60 | drop(_2) -> bb5; // scope 0 at $DIR/enum_cast.rs:+6:5: +6:6 | |
61 | } | |
62 | ||
63 | bb5 (cleanup): { | |
064997fb FG |
64 | resume; // scope 0 at $DIR/enum_cast.rs:+0:1: +8:2 |
65 | } | |
66 | } |