| // MIR for `main` 0 mir_map |
| |
| fn main() -> () { |
| let mut _0: (); // return place in scope 0 at $DIR/issue-49232.rs:5:11: 5:11 |
| let mut _1: (); // in scope 0 at $DIR/issue-49232.rs:5:1: 15:2 |
| let _2: i32; // in scope 0 at $DIR/issue-49232.rs:7:13: 7:19 |
| let mut _3: bool; // in scope 0 at $DIR/issue-49232.rs:8:19: 8:23 |
| let mut _4: !; // in scope 0 at $DIR/issue-49232.rs:10:25: 10:30 |
| let _5: (); // in scope 0 at $DIR/issue-49232.rs:13:9: 13:22 |
| let mut _6: &i32; // in scope 0 at $DIR/issue-49232.rs:13:14: 13:21 |
| scope 1 { |
| debug beacon => _2; // in scope 1 at $DIR/issue-49232.rs:7:13: 7:19 |
| } |
| |
| bb0: { |
| goto -> bb1; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 |
| } |
| |
| bb1: { |
| falseUnwind -> [real: bb2, cleanup: bb11]; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 |
| } |
| |
| bb2: { |
| StorageLive(_2); // scope 0 at $DIR/issue-49232.rs:7:13: 7:19 |
| StorageLive(_3); // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 |
| _3 = const true; // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 |
| FakeRead(ForMatchedPlace, _3); // scope 0 at $DIR/issue-49232.rs:8:19: 8:23 |
| switchInt(_3) -> [false: bb3, otherwise: bb4]; // scope 0 at $DIR/issue-49232.rs:9:17: 9:22 |
| } |
| |
| bb3: { |
| falseEdge -> [real: bb5, imaginary: bb4]; // scope 0 at $DIR/issue-49232.rs:9:17: 9:22 |
| } |
| |
| bb4: { |
| _0 = const (); // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 |
| goto -> bb10; // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 |
| } |
| |
| bb5: { |
| _2 = const 4_i32; // scope 0 at $DIR/issue-49232.rs:9:26: 9:27 |
| goto -> bb8; // scope 0 at $DIR/issue-49232.rs:8:13: 11:14 |
| } |
| |
| bb6: { |
| unreachable; // scope 0 at $DIR/issue-49232.rs:10:25: 10:30 |
| } |
| |
| bb7: { |
| goto -> bb8; // scope 0 at $DIR/issue-49232.rs:8:13: 11:14 |
| } |
| |
| bb8: { |
| FakeRead(ForLet, _2); // scope 0 at $DIR/issue-49232.rs:7:13: 7:19 |
| StorageDead(_3); // scope 0 at $DIR/issue-49232.rs:12:10: 12:11 |
| StorageLive(_5); // scope 1 at $DIR/issue-49232.rs:13:9: 13:22 |
| StorageLive(_6); // scope 1 at $DIR/issue-49232.rs:13:14: 13:21 |
| _6 = &_2; // scope 1 at $DIR/issue-49232.rs:13:14: 13:21 |
| _5 = std::mem::drop::<&i32>(move _6) -> [return: bb9, unwind: bb11]; // scope 1 at $DIR/issue-49232.rs:13:9: 13:22 |
| // mir::Constant |
| // + span: $DIR/issue-49232.rs:13:9: 13:13 |
| // + literal: Const { ty: fn(&i32) {std::mem::drop::<&i32>}, val: Value(Scalar(<ZST>)) } |
| } |
| |
| bb9: { |
| StorageDead(_6); // scope 1 at $DIR/issue-49232.rs:13:21: 13:22 |
| StorageDead(_5); // scope 1 at $DIR/issue-49232.rs:13:22: 13:23 |
| _1 = const (); // scope 0 at $DIR/issue-49232.rs:6:10: 14:6 |
| StorageDead(_2); // scope 0 at $DIR/issue-49232.rs:14:5: 14:6 |
| goto -> bb1; // scope 0 at $DIR/issue-49232.rs:6:5: 14:6 |
| } |
| |
| bb10: { |
| StorageDead(_3); // scope 0 at $DIR/issue-49232.rs:12:10: 12:11 |
| StorageDead(_2); // scope 0 at $DIR/issue-49232.rs:14:5: 14:6 |
| return; // scope 0 at $DIR/issue-49232.rs:15:2: 15:2 |
| } |
| |
| bb11 (cleanup): { |
| resume; // scope 0 at $DIR/issue-49232.rs:5:1: 15:2 |
| } |
| } |