]>
Commit | Line | Data |
---|---|---|
6a06907d | 1 | // MIR for `std::ptr::drop_in_place` after SimplifyCfg-make_shim |
ba9703b0 | 2 | |
6a06907d | 3 | fn std::ptr::drop_in_place(_1: *mut Test) -> () { |
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 Test; // 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: { | |
3dfed10e XL |
9 | Retag([raw] _1); // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
10 | _2 = &mut (*_1); // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL | |
1b1a35ee | 11 | _3 = <Test as Drop>::drop(move _2) -> bb1; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 | 12 | // mir::Constant |
3dfed10e | 13 | // + span: $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 XL |
14 | // + literal: Const { ty: for<'r> fn(&'r mut Test) {<Test as std::ops::Drop>::drop}, val: Value(Scalar(<ZST>)) } |
15 | } | |
16 | ||
17 | bb1: { | |
3dfed10e | 18 | return; // scope 0 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL |
ba9703b0 XL |
19 | } |
20 | } |