src/test/mir-opt/nll/liveness-call-subtlety.rs

   1 // Copyright 2012-2016 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 // compile-flags:-Znll
  12
  13 fn can_panic() -> Box<usize> {
  14     Box::new(44)
  15 }
  16
  17 fn main() {
  18     let mut x = Box::new(22);
  19     x = can_panic();
  20 }
  21
  22 // Check that:
  23 // - `_1` is the variable corresponding to `x`
  24 // and
  25 // - `_1` is live when `can_panic` is called (because it may be dropped)
  26 //
  27 // END RUST SOURCE
  28 // START rustc.main.nll.0.mir
  29 //    | Live variables on entry to bb0: []
  30 //    bb0: {
  31 //            | Live variables at bb0[0]: []
  32 //        StorageLive(_1);
  33 //            | Live variables at bb0[1]: []
  34 //        _1 = const <std::boxed::Box<T>>::new(const 22usize) -> bb1;
  35 //    }
  36 // END rustc.main.nll.0.mir
  37 // START rustc.main.nll.0.mir
  38 //    | Live variables on entry to bb1: [_1 (drop)]
  39 //    bb1: {
  40 //            | Live variables at bb1[0]: [_1 (drop)]
  41 //        StorageLive(_2);
  42 //            | Live variables at bb1[1]: [_1 (drop)]
  43 //        _2 = const can_panic() -> [return: bb2, unwind: bb4];
  44 //    }
  45 // END rustc.main.nll.0.mir