-
Notifications
You must be signed in to change notification settings - Fork 32
/
cleanup-rvalue-during-if-and-while.rs
62 lines (52 loc) · 1.21 KB
/
cleanup-rvalue-during-if-and-while.rs
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
//@ 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) }
}
}
// ferrocene-annotations: fls_u2mzjgiwbkz0
// Destructors
//
// ferrocene-annotations: fls_afafmafz4hf2
// Drop Order
//
// ferrocene-annotations: fls_5eima0pd31c0
// Drop Scope Extension
//
// ferrocene-annotations: fls_rm4ncoopcdvj
// Drop Scopes
//
// ferrocene-annotations: fls_cleoffpn5ew6
// Temporaries
//
// ferrocene-annotations: fls_5jjm1kt43axd
// While Loops
//
// ferrocene-annotations: fls_gho955gmob73
// Variables