]>
Commit | Line | Data |
---|---|---|
923072b8 FG |
1 | - // MIR for `retags` before DeadStoreElimination |
2 | + // MIR for `retags` after DeadStoreElimination | |
3 | ||
4 | fn retags(_1: &mut i32) -> () { | |
064997fb FG |
5 | debug _r => _1; // in scope 0 at $DIR/provenance_soundness.rs:+0:11: +0:13 |
6 | let mut _0: (); // return place in scope 0 at $DIR/provenance_soundness.rs:+0:25: +0:25 | |
923072b8 FG |
7 | |
8 | bb0: { | |
f2b60f7d | 9 | Retag([fn entry] _1); // scope 0 at $DIR/provenance_soundness.rs:+0:11: +0:13 |
064997fb FG |
10 | _0 = const (); // scope 0 at $DIR/provenance_soundness.rs:+0:25: +0:27 |
11 | return; // scope 0 at $DIR/provenance_soundness.rs:+0:27: +0:27 | |
923072b8 FG |
12 | } |
13 | } | |
14 |