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:-Zborrowck=mir
  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 //    bb0: {
  30 //            | Live variables on entry to bb0[0]: []
  31 //        StorageLive(_1);
  32 //            | Live variables on entry to bb0[1]: []
  33 //        _1 = const <std::boxed::Box<T>>::new(const 22usize) -> [return: bb2, unwind: bb1];
  34 //            | Live variables on exit from bb0: [_1 (drop)]
  35 //    }
  36 // END rustc.main.nll.0.mir
  37 // START rustc.main.nll.0.mir
  38 //    bb2: {
  39 //            | Live variables on entry to bb2[0]: [_1 (drop)]
  40 //        StorageLive(_2);
  41 //            | Live variables on entry to bb2[1]: [_1 (drop)]
  42 //        _2 = const can_panic() -> [return: bb3, unwind: bb4];
  43 //            | Live variables on exit from bb2: [_1 (drop), _2]
  44 //    }
  45 // END rustc.main.nll.0.mir