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
|
// PR c++/57645
// { dg-do compile { target c++11 } }
struct Thrower
{
~Thrower() noexcept(false) { throw 1; }
};
struct ExplicitA
{
~ExplicitA() {}
Thrower t;
};
struct ExplicitB
{
~ExplicitB();
Thrower t;
};
ExplicitB::~ExplicitB() {}
struct ExplicitC
{
~ExplicitC() = default;
Thrower t;
};
struct ExplicitD
{
~ExplicitD();
Thrower t;
};
ExplicitD::~ExplicitD() = default;
struct NoThrower
{
~NoThrower() noexcept(true) {}
};
struct ExplicitE
{
~ExplicitE() {}
NoThrower t;
};
struct ExplicitF
{
~ExplicitF();
NoThrower t;
};
ExplicitF::~ExplicitF() {}
struct ExplicitG
{
~ExplicitG() = default;
NoThrower t;
};
struct ExplicitH
{
~ExplicitH();
NoThrower t;
};
ExplicitH::~ExplicitH() = default;
#define SA(X) static_assert(X, #X)
SA( !noexcept(ExplicitA()) );
SA( !noexcept(ExplicitB()) );
SA( !noexcept(ExplicitC()) );
SA( !noexcept(ExplicitD()) );
SA( noexcept(ExplicitE()) );
SA( noexcept(ExplicitF()) );
SA( noexcept(ExplicitG()) );
SA( noexcept(ExplicitH()) );
|
