/// local in `bcx.fcx.lllocals`.
/// Adds the created metadata nodes directly to the crate's IR.
pub fn create_local_var_metadata(bcx: Block, local: &ast::Local) {
- if fn_should_be_ignored(bcx.fcx) {
+ if bcx.unreachable.get() || fn_should_be_ignored(bcx.fcx) {
return;
}
env_index: uint,
captured_by_ref: bool,
span: Span) {
- if fn_should_be_ignored(bcx.fcx) {
+ if bcx.unreachable.get() || fn_should_be_ignored(bcx.fcx) {
return;
}
pub fn create_match_binding_metadata<'blk, 'tcx>(bcx: Block<'blk, 'tcx>,
variable_ident: ast::Ident,
binding: BindingInfo<'tcx>) {
- if fn_should_be_ignored(bcx.fcx) {
+ if bcx.unreachable.get() || fn_should_be_ignored(bcx.fcx) {
return;
}
/// argument in `bcx.fcx.lllocals`.
/// Adds the created metadata nodes directly to the crate's IR.
pub fn create_argument_metadata(bcx: Block, arg: &ast::Arg) {
- if fn_should_be_ignored(bcx.fcx) {
+ if bcx.unreachable.get() || fn_should_be_ignored(bcx.fcx) {
return;
}
/// loop variable in `bcx.fcx.lllocals`.
/// Adds the created metadata nodes directly to the crate's IR.
pub fn create_for_loop_var_metadata(bcx: Block, pat: &ast::Pat) {
- if fn_should_be_ignored(bcx.fcx) {
+ if bcx.unreachable.get() || fn_should_be_ignored(bcx.fcx) {
return;
}
--- /dev/null
+// Copyright 2013-2014 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+// ignore-android: FIXME(#10381)
+// min-lldb-version: 310
+
+// compile-flags:-g
+
+#![allow(unused_variables)]
+#![omit_gdb_pretty_printer_section]
+
+// No need to actually run the debugger, just make sure that the compiler can
+// handle locals in unreachable code.
+
+fn after_return() {
+ return;
+ let x = "0";
+ let (ref y,z) = (1i32, 2u32);
+ match (20i32, 'c') {
+ (a, ref b) => {}
+ }
+ for a in [111i32].iter() {}
+}
+
+fn after_panic() {
+ panic!();
+ let x = "0";
+ let (ref y,z) = (1i32, 2u32);
+ match (20i32, 'c') {
+ (a, ref b) => {}
+ }
+ for a in [111i32].iter() {}
+}
+
+fn after_diverging_function() {
+ diverge();
+ let x = "0";
+ let (ref y,z) = (1i32, 2u32);
+ match (20i32, 'c') {
+ (a, ref b) => {}
+ }
+ for a in [111i32].iter() {}
+}
+
+fn after_break() {
+ loop {
+ break;
+ let x = "0";
+ let (ref y,z) = (1i32, 2u32);
+ match (20i32, 'c') {
+ (a, ref b) => {}
+ }
+ for a in [111i32].iter() {}
+ }
+}
+
+fn after_continue() {
+ for _ in range(0, 10i32) {
+ break;
+ let x = "0";
+ let (ref y,z) = (1i32, 2u32);
+ match (20i32, 'c') {
+ (a, ref b) => {}
+ }
+ for a in [111i32].iter() {}
+ }
+}
+
+fn main() {
+ after_return();
+ after_panic();
+ after_diverging_function();
+ after_break();
+ after_continue();
+}
+
+fn diverge() -> ! {
+ panic!();
+}