blob: 064711925e0201db690151ae7b56eb1d1f2acde0 [file] [log] [blame]
- // MIR for `read_through_raw` before ReferencePropagation
+ // MIR for `read_through_raw` after ReferencePropagation
fn read_through_raw(_1: &mut usize) -> usize {
let mut _0: usize;
let mut _2: &mut usize;
let mut _3: &mut usize;
let mut _4: *mut usize;
let mut _5: *mut usize;
bb0: {
- _2 = &mut (*_1);
- _3 = &mut (*_2);
- _4 = &raw mut (*_2);
- _5 = &raw mut (*_3);
- _0 = copy (*_4);
- _0 = copy (*_5);
+ _0 = copy (*_1);
+ _0 = copy (*_1);
return;
}
}