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 //         FakeRead(ForMatchedPlace, _4);
  31 //         switchInt(_4) -> [false: bb5, otherwise: bb4];
  32 //     }
  33 //     ...
  34 //     bb7: {
  35 //         _0 = ();
  36 //         StorageDead(_4);
  37 //         StorageDead(_1);
  38 //         return;
  39 //     }
  40 //     bb8: {
  41 //         _3 = ();
  42 //         StorageDead(_4);
  43 //         _1 = const true;
  44 //         _2 = ();
  45 //         goto -> bb2;
  46 //     }
  47 // END rustc.main.SimplifyCfg-initial.after.mir