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