tests/mir-opt/remove_unneeded_drops.opt.RemoveUnneededDrops.panic-abort.diff


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

- // MIR for `opt` before RemoveUnneededDrops
+ // MIR for `opt` after RemoveUnneededDrops
  
  fn opt(_1: bool) -> () {
      debug x => _1;
      let mut _0: ();
      let _2: ();
      let mut _3: bool;
      scope 1 (inlined std::mem::drop::<bool>) {
      }
  
      bb0: {
-         nop;
          StorageLive(_3);
          _3 = copy _1;
-         drop(_3) -> [return: bb1, unwind unreachable];
-     }
- 
-     bb1: {
          StorageDead(_3);
-         nop;
-         nop;
          return;
      }
  }