]>
Commit | Line | Data |
---|---|---|
6a06907d | 1 | // MIR for `std::ptr::drop_in_place` before AddMovesForPackedDrops |
ba9703b0 | 2 | |
6a06907d | 3 | fn std::ptr::drop_in_place(_1: *mut Vec<i32>) -> () { |
3dfed10e XL |
4 | let mut _0: (); // return place in scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
5 | let mut _2: &mut std::vec::Vec<i32>; // in scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL | |
6 | let mut _3: (); // in scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL | |
ba9703b0 XL |
7 | |
8 | bb0: { | |
29967ef6 | 9 | goto -> bb6; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 XL |
10 | } |
11 | ||
12 | bb1: { | |
3dfed10e | 13 | return; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 XL |
14 | } |
15 | ||
16 | bb2 (cleanup): { | |
3dfed10e | 17 | resume; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 XL |
18 | } |
19 | ||
20 | bb3: { | |
3dfed10e | 21 | goto -> bb1; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 XL |
22 | } |
23 | ||
24 | bb4 (cleanup): { | |
29967ef6 | 25 | drop(((*_1).0: alloc::raw_vec::RawVec<i32>)) -> bb2; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 XL |
26 | } |
27 | ||
29967ef6 XL |
28 | bb5: { |
29 | drop(((*_1).0: alloc::raw_vec::RawVec<i32>)) -> [return: bb3, unwind: bb2]; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL | |
ba9703b0 XL |
30 | } |
31 | ||
32 | bb6: { | |
3dfed10e | 33 | _2 = &mut (*_1); // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
29967ef6 | 34 | _3 = <Vec<i32> as Drop>::drop(move _2) -> [return: bb5, unwind: bb4]; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 | 35 | // mir::Constant |
3dfed10e | 36 | // + span: $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ee023bcb | 37 | // + literal: Const { ty: for<'r> fn(&'r mut Vec<i32>) {<Vec<i32> as Drop>::drop}, val: Value(Scalar(<ZST>)) } |
ba9703b0 XL |
38 | } |
39 | } |