rust/tests/mir-opt/copy-prop/mutate_through_pointer.f.Co...

20 lines
392 B
Diff

- // MIR for `f` before CopyProp
+ // MIR for `f` after CopyProp
fn f(_1: bool) -> bool {
let mut _0: bool;
let mut _2: bool;
let mut _3: *const bool;
let mut _4: *mut bool;
bb0: {
_2 = copy _1;
_3 = &raw const _2;
_4 = &raw mut (*_3);
(*_4) = const false;
_0 = copy _1;
return;
}
}