tests/mir-opt/simplify_locals.expose_provenance.SimplifyLocals-before-const-prop.diff


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

- // MIR for `expose_provenance` before SimplifyLocals-before-const-prop
+ // MIR for `expose_provenance` after SimplifyLocals-before-const-prop
  
  fn expose_provenance(_1: *const usize) -> () {
      debug p => _1;
      let mut _0: ();
      let _2: usize;
      let mut _3: *const usize;
  
      bb0: {
          StorageLive(_2);
          StorageLive(_3);
          _3 = copy _1;
          _2 = move _3 as usize (PointerExposeProvenance);
          StorageDead(_3);
          StorageDead(_2);
          _0 = const ();
          return;
      }
  }