- // MIR for `expose_provenance` before SimplifyLocals-before-const-prop | |
+ // MIR for `expose_provenance` after SimplifyLocals-before-const-prop | |
fn expose_provenance(_1: *const usize) -> () { | |
debug p => _1; | |
let mut _0: (); | |
let _2: usize; | |
let mut _3: *const usize; | |
bb0: { | |
StorageLive(_2); | |
StorageLive(_3); | |
_3 = copy _1; | |
_2 = move _3 as usize (PointerExposeProvenance); | |
StorageDead(_3); | |
StorageDead(_2); | |
_0 = const (); | |
return; | |
} | |
} | |