| - // 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; | |
| } | |
| } | |