blob: 064711925e0201db690151ae7b56eb1d1f2acde0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
- // 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;
}
}
|
