blob: a6b74efff3892f1188407c62fc144c5e30ea57b6 (
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
// RUN: clang-cc -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s
void *f();
template <typename T> T* g() {
if (T* t = f())
return t;
return 0;
}
void h() {
void *a = g<void>();
}
struct X {
X();
~X();
operator bool();
};
struct Y {
Y();
~Y();
};
void if_destruct(int z) {
// Verify that the condition variable is destroyed at the end of the
// "if" statement.
// CHECK: call void @_ZN1XC1Ev
// CHECK: call zeroext i1 @_ZN1XcvbEv
if (X x = X()) {
// CHECK: store i32 18
z = 18;
}
// CHECK: call void @_ZN1XD1Ev
// CHECK: store i32 17
z = 17;
// CHECK: call void @_ZN1XC1Ev
if (X x = X())
Y y;
// CHECK: if.then
// CHECK: call void @_ZN1YC1Ev
// CHECK: call void @_ZN1YD1Ev
// CHECK: if.end
// CHECK: call void @_ZN1XD1Ev
}
struct ConvertibleToInt {
ConvertibleToInt();
~ConvertibleToInt();
operator int();
};
void switch_destruct(int z) {
// CHECK: call void @_ZN16ConvertibleToIntC1Ev
switch (ConvertibleToInt conv = ConvertibleToInt()) {
case 0:
break;
default:
// CHECK: sw.default:
// CHECK: store i32 19
z = 19;
break;
}
// CHECK: sw.epilog:
// CHECK: call void @_ZN16ConvertibleToIntD1Ev
// CHECK: store i32 20
z = 20;
}
int foo();
void while_destruct(int z) {
// CHECK: define void @_Z14while_destructi
// CHECK: while.cond:
while (X x = X()) {
// CHECK: call void @_ZN1XC1Ev
// CHECK: while.body:
// CHECK: store i32 21
z = 21;
// CHECK: while.cleanup:
// CHECK: call void @_ZN1XD1Ev
}
// CHECK: while.end
// CHECK: store i32 22
z = 22;
}
void for_destruct(int z) {
// CHECK: define void @_Z12for_destruct
// CHECK: call void @_ZN1YC1Ev
for(Y y = Y(); X x = X(); ++z)
// CHECK: for.cond:
// CHECK: call void @_ZN1XC1Ev
// CHECK: for.body:
// CHECK: store i32 23
z = 23;
// CHECK: for.inc:
// CHECK: br label %for.cond.cleanup
// CHECK: for.cond.cleanup:
// CHECK: call void @_ZN1XD1Ev
// CHECK: for.end:
// CHECK: call void @_ZN1YD1Ev
// CHECK: store i32 24
z = 24;
}
|
