Skip to content

Commit fc54934

Browse files
pnkfelixsfackler
authored andcommitted
Regression test for dropflag reinit issue.
Fix rust-lang#27401.
1 parent 91f5d32 commit fc54934

File tree

1 file changed

+34
-0
lines changed

1 file changed

+34
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
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+
// Check that when a `let`-binding occurs in a loop, its associated
12+
// drop-flag is reinitialized (to indicate "needs-drop" at the end of
13+
// the owning variable's scope).
14+
15+
struct A<'a>(&'a mut i32);
16+
17+
impl<'a> Drop for A<'a> {
18+
fn drop(&mut self) {
19+
*self.0 += 1;
20+
}
21+
}
22+
23+
fn main() {
24+
let mut cnt = 0;
25+
for i in 0..2 {
26+
let a = A(&mut cnt);
27+
if i == 1 { // Note that
28+
break; // both this break
29+
} // and also
30+
drop(a); // this move of `a`
31+
// are necessary to expose the bug
32+
}
33+
assert_eq!(cnt, 2);
34+
}

0 commit comments

Comments
 (0)