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

   1 // Copyright 2017 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // check that we don't StorageDead booleans before they are used
  12
  13 fn main() {
  14     let mut should_break = false;
  15     loop {
  16         if should_break {
  17             break;
  18         }
  19         should_break = true;
  20     }
  21 }
  22
  23 // END RUST SOURCE
  24 // START rustc.main.SimplifyCfg-initial.after.mir
  25 //     bb0: {
  26 //         StorageLive(_1);
  27 //         _1 = const false;
  28 //         FakeRead(ForLet, _1);
  29 //         goto -> bb2;
  30 //     }
  31 //     bb1: {
  32 //         resume;
  33 //     }
  34 //     bb2: {
  35 //         falseUnwind -> [real: bb3, cleanup: bb1];
  36 //     }
  37 //     bb3: {
  38 //         StorageLive(_4);
  39 //         _4 = _1;
  40 //         switchInt(move _4) -> [false: bb5, otherwise: bb4];
  41 //     }
  42 //     bb4: {
  43 //         _0 = ();
  44 //         StorageDead(_4);
  45 //         StorageDead(_1);
  46 //         return;
  47 //     }
  48 //     bb5: {
  49 //         _3 = ();
  50 //         StorageDead(_4);
  51 //         _1 = const true;
  52 //         _2 = ();
  53 //         goto -> bb2;
  54 //     }
  55 // END rustc.main.SimplifyCfg-initial.after.mir