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.node4.SimplifyCfg-initial.after.mir
  25 //     bb0: {
  26 //         StorageLive(_1);
  27 //         _1 = const false;
  28 //         goto -> bb1;
  29 //     }
  30 //
  31 //     bb1: {
  32 //         StorageLive(_4);
  33 //         _4 = _1;
  34 //         switchInt(_4) -> [0u8: bb3, otherwise: bb2];
  35 //     }
  36 //
  37 //     bb2: {
  38 //         _0 = ();
  39 //         StorageDead(_4);
  40 //         StorageDead(_1);
  41 //         return;
  42 //     }
  43 //
  44 //     bb3: {
  45 //         _3 = ();
  46 //         StorageDead(_4);
  47 //         _1 = const true;
  48 //         _2 = ();
  49 //         goto -> bb1;
  50 //     }
  51 // END rustc.node4.SimplifyCfg-initial.after.mir