Just pass in NodeId to FunctionContext::new instead of looking it up.
This commit is contained in:
parent
0f4c4f8c29
commit
fd3b4646cc
3 changed files with 54 additions and 10 deletions
|
@ -75,7 +75,6 @@ use debuginfo::{self, DebugLoc, ToDebugLoc};
|
||||||
use declare;
|
use declare;
|
||||||
use expr;
|
use expr;
|
||||||
use glue;
|
use glue;
|
||||||
use inline;
|
|
||||||
use machine;
|
use machine;
|
||||||
use machine::{llalign_of_min, llsize_of, llsize_of_real};
|
use machine::{llalign_of_min, llsize_of, llsize_of_real};
|
||||||
use meth;
|
use meth;
|
||||||
|
@ -1407,19 +1406,17 @@ impl<'blk, 'tcx> FunctionContext<'blk, 'tcx> {
|
||||||
pub fn new(ccx: &'blk CrateContext<'blk, 'tcx>,
|
pub fn new(ccx: &'blk CrateContext<'blk, 'tcx>,
|
||||||
llfndecl: ValueRef,
|
llfndecl: ValueRef,
|
||||||
fn_ty: FnType,
|
fn_ty: FnType,
|
||||||
definition: Option<(Instance<'tcx>, &ty::FnSig<'tcx>, Abi)>,
|
definition: Option<(Instance<'tcx>, &ty::FnSig<'tcx>, Abi, ast::NodeId)>,
|
||||||
block_arena: &'blk TypedArena<common::BlockS<'blk, 'tcx>>)
|
block_arena: &'blk TypedArena<common::BlockS<'blk, 'tcx>>)
|
||||||
-> FunctionContext<'blk, 'tcx> {
|
-> FunctionContext<'blk, 'tcx> {
|
||||||
let (param_substs, def_id) = match definition {
|
let (param_substs, def_id, inlined_id) = match definition {
|
||||||
Some((instance, _, _)) => {
|
Some((instance, _, _, inlined_id)) => {
|
||||||
common::validate_substs(instance.substs);
|
common::validate_substs(instance.substs);
|
||||||
(instance.substs, Some(instance.def))
|
(instance.substs, Some(instance.def), Some(inlined_id))
|
||||||
}
|
}
|
||||||
None => (ccx.tcx().mk_substs(Substs::empty()), None)
|
None => (ccx.tcx().mk_substs(Substs::empty()), None, None)
|
||||||
};
|
};
|
||||||
|
|
||||||
let inlined_did = def_id.and_then(|def_id| inline::get_local_instance(ccx, def_id));
|
|
||||||
let inlined_id = inlined_did.and_then(|id| ccx.tcx().map.as_local_node_id(id));
|
|
||||||
let local_id = def_id.and_then(|id| ccx.tcx().map.as_local_node_id(id));
|
let local_id = def_id.and_then(|id| ccx.tcx().map.as_local_node_id(id));
|
||||||
|
|
||||||
debug!("FunctionContext::new({})",
|
debug!("FunctionContext::new({})",
|
||||||
|
@ -1454,7 +1451,7 @@ impl<'blk, 'tcx> FunctionContext<'blk, 'tcx> {
|
||||||
};
|
};
|
||||||
|
|
||||||
let debug_context = if let (false, Some(definition)) = (no_debug, definition) {
|
let debug_context = if let (false, Some(definition)) = (no_debug, definition) {
|
||||||
let (instance, sig, abi) = definition;
|
let (instance, sig, abi, _) = definition;
|
||||||
debuginfo::create_function_debug_context(ccx, instance, sig, abi, llfndecl)
|
debuginfo::create_function_debug_context(ccx, instance, sig, abi, llfndecl)
|
||||||
} else {
|
} else {
|
||||||
debuginfo::empty_function_debug_context(ccx)
|
debuginfo::empty_function_debug_context(ccx)
|
||||||
|
@ -1850,7 +1847,11 @@ pub fn trans_closure<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
|
||||||
|
|
||||||
let (arena, fcx): (TypedArena<_>, FunctionContext);
|
let (arena, fcx): (TypedArena<_>, FunctionContext);
|
||||||
arena = TypedArena::new();
|
arena = TypedArena::new();
|
||||||
fcx = FunctionContext::new(ccx, llfndecl, fn_ty, Some((instance, sig, abi)), &arena);
|
fcx = FunctionContext::new(ccx,
|
||||||
|
llfndecl,
|
||||||
|
fn_ty,
|
||||||
|
Some((instance, sig, abi, inlined_id)),
|
||||||
|
&arena);
|
||||||
|
|
||||||
if fcx.mir.is_some() {
|
if fcx.mir.is_some() {
|
||||||
return mir::trans_mir(&fcx);
|
return mir::trans_mir(&fcx);
|
||||||
|
|
|
@ -0,0 +1,26 @@
|
||||||
|
// Copyright 2016 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.
|
||||||
|
|
||||||
|
pub struct Request {
|
||||||
|
pub id: String,
|
||||||
|
pub arg: String,
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn decode<T>() -> Result<Request, ()> {
|
||||||
|
(|| {
|
||||||
|
Ok(Request {
|
||||||
|
id: "hi".to_owned(),
|
||||||
|
arg: match Err(()) {
|
||||||
|
Ok(v) => v,
|
||||||
|
Err(e) => return Err(e)
|
||||||
|
},
|
||||||
|
})
|
||||||
|
})()
|
||||||
|
}
|
17
src/test/run-pass/xcrate_generic_fn_nested_return.rs
Normal file
17
src/test/run-pass/xcrate_generic_fn_nested_return.rs
Normal file
|
@ -0,0 +1,17 @@
|
||||||
|
// Copyright 2016 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.
|
||||||
|
|
||||||
|
// aux-build:xcrate_generic_fn_nested_return.rs
|
||||||
|
|
||||||
|
extern crate xcrate_generic_fn_nested_return as test;
|
||||||
|
|
||||||
|
pub fn main() {
|
||||||
|
assert!(test::decode::<()>().is_err());
|
||||||
|
}
|
Loading…
Add table
Reference in a new issue