blob: ffbb091924118b2e3deebde3d5662b4008aeaedc (
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
|
// Test for noexcept-specification
// { dg-options "-std=c++0x" }
#define SA(X) static_assert(X, #X)
void f();
void f() noexcept(false);
void f() noexcept(1 == 0);
void f();
SA(!noexcept(f()));
void g() throw (int); // { dg-error "previous declaration" }
void g() noexcept(false); // { dg-error "different exception" }
void g();
void h() throw();
void h() noexcept;
void h() throw();
void h() noexcept;
template <class T>
void g (T) noexcept(noexcept(T())); // { dg-error "previous declaration" }
template <class T>
void g (T) noexcept(noexcept(T(0))); // { dg-error "different exception" }
template <class T>
void f (T) noexcept(noexcept(T()) && noexcept(T()));
template <class T>
void f (T) noexcept(noexcept(T()) && noexcept(T()));
template <class T>
void f2(T a) noexcept (noexcept (f (a)));
struct A { A(); };
SA(noexcept(f(1)));
SA(!noexcept(f(A())));
SA(noexcept(f2(1)));
SA(!noexcept(f2(A())));
template <class... Ts>
void f3(Ts... ts) noexcept (noexcept (f(ts...)));
SA(noexcept(f3(1)));
SA(!noexcept(f3(A())));
template <class T1, class T2>
void f (T1, T2) noexcept(noexcept(T1(), T2()));
struct B { };
SA(noexcept(f3(1,B())));
SA(!noexcept(f3(1,A())));
SA(!noexcept(f3(A(),1)));
SA(!noexcept(f3(A(),A())));
|
