nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-01-26 06:35:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #611 from Manishearth/fix-606

Browse Source 
fixed #606
This commit is contained in:
Manish Goregaokar 2016-02-02 02:04:34 +05:30
commit b0d3659c29
2 changed files with 19 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/escape.rs
View File

@ -31,9 +31,9 @@ pub struct EscapePass;
/// ```
declare_lint!(pub BOXED_LOCAL, Warn, "using Box<T> where unnecessary");
fn is_box(ty: ty::Ty) -> bool {
fn is_non_trait_box(ty: ty::Ty) -> bool {
match ty.sty {
ty::TyBox(..) => true,
ty::TyBox(ref inner) => !inner.is_trait(),
_ => false
}
}
@ -90,7 +90,7 @@ impl<'a, 'tcx: 'a> Delegate<'tcx> for EscapeDelegate<'a, 'tcx> {
if let Some(NodeExpr(..)) = map.find(map.get_parent_node(consume_pat.id)) {
return;
}
if is_box(cmt.ty) {
if is_non_trait_box(cmt.ty) {
self.set.insert(consume_pat.id);
}
return;
@ -101,7 +101,7 @@ impl<'a, 'tcx: 'a> Delegate<'tcx> for EscapeDelegate<'a, 'tcx> {
if let DeclLocal(ref loc) = decl.node {
if let Some(ref ex) = loc.init {
if let ExprBox(..) = ex.node {
if is_box(cmt.ty) {
if is_non_trait_box(cmt.ty) {
// let x = box (...)
self.set.insert(consume_pat.id);
}

15
tests/compile-fail/escape_analysis.rs
View File

@ -11,9 +11,24 @@ impl A {
fn foo(&self){}
}
trait Z {
fn bar(&self);
}
impl Z for A {
fn bar(&self) {
//nothing
}
}
fn main() {
}
fn ok_box_trait(boxed_trait: &Box<Z>) {
let boxed_local = boxed_trait;
// done
}
fn warn_call() {
let x = box A; //~ ERROR local variable
x.foo();