src/test/mir-opt/dead-store-elimination/provenance_soundness.retags.DeadStoreElimination.diff


1
2
3
4
5
6
7
8
9
10
11
12
13
14

- // MIR for `retags` before DeadStoreElimination
+ // MIR for `retags` after DeadStoreElimination
  
  fn retags(_1: &mut i32) -> () {
      debug _r => _1;                      // in scope 0 at $DIR/provenance_soundness.rs:+0:11: +0:13
      let mut _0: ();                      // return place in scope 0 at $DIR/provenance_soundness.rs:+0:25: +0:25
  
      bb0: {
          Retag([fn entry] _1);            // scope 0 at $DIR/provenance_soundness.rs:+0:11: +0:13
          _0 = const ();                   // scope 0 at $DIR/provenance_soundness.rs:+0:25: +0:27
          return;                          // scope 0 at $DIR/provenance_soundness.rs:+0:27: +0:27
      }
  }