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.
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.
11 // compile-flags:-Zborrowck=mir
13 fn can_panic() -> Box<usize> {
18 let mut x = Box::new(22);
23 // - `_1` is the variable corresponding to `x`
25 // - `_1` is live when `can_panic` is called (because it may be dropped)
28 // START rustc.main.nll.0.mir
30 // | Live variables on entry to bb0[0]: []
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)]
36 // END rustc.main.nll.0.mir
37 // START rustc.main.nll.0.mir
39 // | Live variables on entry to bb2[0]: [_1 (drop)]
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]
45 // END rustc.main.nll.0.mir