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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
|
// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++0x -fms-extensions %s
#define P(e) static_assert(noexcept(e), "expected nothrow")
#define N(e) static_assert(!noexcept(e), "expected throw")
#define B(b, e) static_assert(b == noexcept(e), "expectation failed")
void simple() {
P(0);
P(0 + 0);
int i;
P(i);
P(sizeof(0));
P(static_cast<int>(0));
N(throw 0);
N((throw 0, 0));
}
void nospec();
void allspec() throw(...);
void intspec() throw(int);
void emptyspec() throw();
void nothrowattr() __attribute__((nothrow));
void noexcept_true() noexcept;
void noexcept_false() noexcept(false);
void call() {
N(nospec());
N(allspec());
N(intspec());
P(emptyspec());
P(nothrowattr());
P(noexcept_true());
N(noexcept_false());
}
void (*pnospec)();
void (*pallspec)() throw(...);
void (*pintspec)() throw(int);
void (*pemptyspec)() throw();
void callptr() {
N(pnospec());
N((*pnospec)());
N(pallspec());
N((*pallspec)());
N(pintspec());
N((*pintspec)());
P(pemptyspec());
P((*pemptyspec)());
}
struct S1 {
void nospec();
void allspec() throw(...);
void intspec() throw(int);
void emptyspec() throw();
};
void callmem() {
S1 s;
N(s.nospec());
N(s.allspec());
N(s.intspec());
P(s.emptyspec());
}
void (S1::*mpnospec)();
void (S1::*mpallspec)() throw(...);
void (S1::*mpintspec)() throw(int);
void (S1::*mpemptyspec)() throw();
void callmemptr() {
S1 s;
N((s.*mpnospec)());
N((s.*mpallspec)());
N((s.*mpintspec)());
P((s.*mpemptyspec)());
}
struct S2 {
S2();
S2(int, int) throw();
void operator +();
void operator -() throw();
void operator +(int);
void operator -(int) throw();
operator int();
operator float() throw();
};
void *operator new(__typeof__(sizeof(int)) sz, int) throw();
struct Bad1 {
~Bad1() throw(int);
};
struct Bad2 {
void operator delete(void*) throw(int);
};
typedef int X;
void implicits() {
N(new int);
P(new (0) int);
P(delete (int*)0);
N(delete (Bad1*)0);
N(delete (Bad2*)0);
N(S2());
P(S2(0, 0));
S2 s;
N(+s);
P(-s);
N(s + 0);
P(s - 0);
N(static_cast<int>(s));
P(static_cast<float>(s));
N(Bad1());
P(X().~X());
}
struct V {
virtual ~V() throw();
};
struct D : V {};
void dyncast() {
V *pv = 0;
D *pd = 0;
P(dynamic_cast<V&>(*pd));
P(dynamic_cast<V*>(pd));
N(dynamic_cast<D&>(*pv));
P(dynamic_cast<D*>(pv));
}
namespace std {
struct type_info {};
}
void idtype() {
P(typeid(V));
P(typeid((V*)0));
P(typeid(*(S1*)0));
N(typeid(*(V*)0));
}
void uneval() {
P(sizeof(typeid(*(V*)0)));
P(typeid(typeid(*(V*)0)));
}
struct G1 {};
struct G2 { int i; };
struct G3 { S2 s; };
void gencon() {
P(G1());
P(G2());
N(G3());
}
template <class T> void f(T&&) noexcept;
template <typename T, bool b>
void late() {
B(b, typeid(*(T*)0));
B(b, T(1));
B(b, static_cast<T>(S2(0, 0)));
B(b, S1() + T());
P(f(T()));
P(new (0) T);
P(delete (T*)0);
}
struct S3 {
virtual ~S3() throw();
S3() throw();
explicit S3(int);
S3(const S2&);
};
template <class T> T&& f2() noexcept;
template <typename T>
void late2() {
P(dynamic_cast<S3&>(f2<T&>()));
}
void operator +(const S1&, float) throw();
void operator +(const S1&, const S3&);
void tlate() {
late<float, true>();
late<S3, false>();
late2<S3>();
}
|
