blob: afc77355ab00a4b072060829a525f189c7ecc5c7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
// run-pass
// This test verifies that temporaries created for `while`'s and `if`
// conditions are dropped after the condition is evaluated.
struct Temporary;
static mut DROPPED: isize = 0;
impl Drop for Temporary {
fn drop(&mut self) {
unsafe { DROPPED += 1; }
}
}
impl Temporary {
fn do_stuff(&self) -> bool {true}
}
fn borrow() -> Box<Temporary> { Box::new(Temporary) }
pub fn main() {
let mut i = 0;
// This loop's condition
// should call `Temporary`'s
// `drop` 6 times.
while borrow().do_stuff() {
i += 1;
unsafe { assert_eq!(DROPPED, i) }
if i > 5 {
break;
}
}
// This if condition should
// call it 1 time
if borrow().do_stuff() {
unsafe { assert_eq!(DROPPED, i + 1) }
}
}
|