Skip to content

Commit 128ac9d

Browse files
committed
Add tests of move-into-dead-array restriction.
1 parent ce341f7 commit 128ac9d

File tree

2 files changed

+50
-0
lines changed

2 files changed

+50
-0
lines changed
Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
// Copyright 2015 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.
4+
//
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.
10+
11+
// Ensure that we cannot move into an uninitialized fixed-size array.
12+
13+
struct D { _x: u8 }
14+
15+
fn d() -> D { D { _x: 0 } }
16+
17+
fn main() {
18+
foo(1);
19+
foo(3);
20+
}
21+
22+
fn foo(i: usize) {
23+
let mut a: [D; 4];
24+
a[i] = d(); //~ ERROR use of possibly uninitialized variable: `a`
25+
}
Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
// Copyright 2015 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.
4+
//
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.
10+
11+
// Ensure that we cannot move into an uninitialized fixed-size array.
12+
13+
struct D { _x: u8 }
14+
15+
fn d() -> D { D { _x: 0 } }
16+
17+
fn main() {
18+
foo([d(), d(), d(), d()], 1);
19+
foo([d(), d(), d(), d()], 3);
20+
}
21+
22+
fn foo(mut a: [D; 4], i: usize) {
23+
drop(a);
24+
a[i] = d(); //~ ERROR use of moved value: `a`
25+
}

0 commit comments

Comments
 (0)