rust/tests/ui/escape_analysis.rs

132 lines
1.8 KiB
Rust
Raw Normal View History

2015-12-04 11:12:53 +01:00
#![feature(plugin, box_syntax)]
2017-09-18 12:47:33 +02:00
2015-12-04 11:12:53 +01:00
#![allow(warnings, clippy)]
#![warn(boxed_local)]
2015-12-04 11:12:53 +01:00
#[derive(Clone)]
struct A;
impl A {
fn foo(&self){}
}
2016-02-01 20:37:07 +01:00
trait Z {
fn bar(&self);
}
impl Z for A {
fn bar(&self) {
//nothing
}
}
2015-12-04 11:12:53 +01:00
fn main() {
}
2016-02-01 20:37:07 +01:00
fn ok_box_trait(boxed_trait: &Box<Z>) {
let boxed_local = boxed_trait;
// done
}
2015-12-04 11:12:53 +01:00
fn warn_call() {
2017-02-08 14:58:07 +01:00
let x = box A;
2016-09-09 20:24:00 +02:00
x.foo();
2015-12-04 11:12:53 +01:00
}
2017-02-08 14:58:07 +01:00
fn warn_arg(x: Box<A>) {
2015-12-28 15:12:57 +01:00
x.foo();
}
fn nowarn_closure_arg() {
let x = Some(box A);
x.map_or((), |x| take_ref(&x));
}
2015-12-04 11:12:53 +01:00
fn warn_rename_call() {
let x = box A;
2017-02-08 14:58:07 +01:00
let y = x;
2015-12-04 11:12:53 +01:00
y.foo(); // via autoderef
}
fn warn_notuse() {
2017-02-08 14:58:07 +01:00
let bz = box A;
2015-12-04 11:12:53 +01:00
}
fn warn_pass() {
2017-02-08 14:58:07 +01:00
let bz = box A;
2015-12-04 11:12:53 +01:00
take_ref(&bz); // via deref coercion
}
fn nowarn_return() -> Box<A> {
let fx = box A;
fx // moved out, "escapes"
}
fn nowarn_move() {
let bx = box A;
drop(bx) // moved in, "escapes"
}
fn nowarn_call() {
let bx = box A;
bx.clone(); // method only available to Box, not via autoderef
}
fn nowarn_pass() {
let bx = box A;
take_box(&bx); // fn needs &Box
}
fn take_box(x: &Box<A>) {}
fn take_ref(x: &A) {}
fn nowarn_ref_take() {
// false positive, should actually warn
2017-02-08 14:58:07 +01:00
let x = box A;
2015-12-04 11:12:53 +01:00
let y = &x;
take_box(y);
}
fn nowarn_match() {
let x = box A; // moved into a match
match x {
y => drop(y)
}
}
fn warn_match() {
2017-02-08 14:58:07 +01:00
let x = box A;
2015-12-04 11:12:53 +01:00
match &x { // not moved
ref y => ()
}
2015-12-28 15:12:57 +01:00
}
2016-07-10 15:23:50 +02:00
fn nowarn_large_array() {
// should not warn, is large array
// and should not be on stack
let x = box [1; 10000];
match &x { // not moved
ref y => ()
}
}
/// ICE regression test
pub trait Foo {
type Item;
}
impl<'a> Foo for &'a () {
type Item = ();
}
pub struct PeekableSeekable<I: Foo> {
_peeked: I::Item,
}
2017-02-08 14:58:07 +01:00
pub fn new(_needs_name: Box<PeekableSeekable<&()>>) -> () {
}