src/test/mir-opt/issue-38669.rs

   1 // check that we don't StorageDead booleans before they are used
   2
   3 fn main() {
   4     let mut should_break = false;
   5     loop {
   6         if should_break {
   7             break;
   8         }
   9         should_break = true;
  10     }
  11 }
  12
  13 // END RUST SOURCE
  14 // START rustc.main.SimplifyCfg-initial.after.mir
  15 //     bb0: {
  16 //         StorageLive(_1);
  17 //         _1 = const false;
  18 //         FakeRead(ForLet, _1);
  19 //         goto -> bb2;
  20 //     }
  21 //     bb1 (cleanup): {
  22 //         resume;
  23 //     }
  24 //     bb2: {
  25 //         falseUnwind -> [real: bb3, cleanup: bb1];
  26 //     }
  27 //     bb3: {
  28 //         StorageLive(_4);
  29 //         _4 = _1;
  30 //         switchInt(move _4) -> [false: bb5, otherwise: bb4];
  31 //     }
  32 //     bb4: {
  33 //         _0 = ();
  34 //         StorageDead(_4);
  35 //         StorageDead(_1);
  36 //         return;
  37 //     }
  38 //     bb5: {
  39 //         _3 = ();
  40 //         StorageDead(_4);
  41 //         _1 = const true;
  42 //         _2 = ();
  43 //         goto -> bb2;
  44 //     }
  45 // END rustc.main.SimplifyCfg-initial.after.mir