tests/mir-opt/copy-prop/mutate_through_pointer.f.CopyProp.diff

   1 - // MIR for `f` before CopyProp
   2 + // MIR for `f` after CopyProp
   3
   4   fn f(_1: bool) -> bool {
   5       let mut _0: bool;                    // return place in scope 0 at $DIR/mutate_through_pointer.rs:+0:18: +0:22
   6       let mut _2: bool;                    // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
   7       let mut _3: *const bool;             // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
   8       let mut _4: *mut bool;               // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
   9
  10       bb0: {
  11           _2 = _1;                         // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
  12           _3 = &raw const _2;              // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
  13           _4 = &raw mut (*_3);             // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
  14           (*_4) = const false;             // scope 0 at $DIR/mutate_through_pointer.rs:+5:9: +5:20
  15           _0 = _1;                         // scope 0 at $DIR/mutate_through_pointer.rs:+6:9: +6:16
  16           return;                          // scope 0 at $DIR/mutate_through_pointer.rs:+7:9: +7:17
  17       }
  18   }
  19