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
|
// { dg-do assemble }
// Copyright (C) 1999 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 19 Jan 1999 <nathan@acm.org>
// Determine that throw specifiers are checked correctly.
// [except.spec] 1, a type in an exception specifier shall not be incomplete,
// or pointer or ref to incomplete
struct X; // { dg-error "" } forward declaration.*
void fn1() throw(X); // { dg-error "" } invalid use of undefined type
void fn2() throw(X *); // { dg-error "" } invalid use of undefined type
void fn3() throw(X &); // { dg-error "" } invalid use of undefined tyoe
void fn4() throw(void); // { dg-error "" } invalid use of void expression
void fn5() throw(void &); // { dg-error "" } invalid type // ERROR - invalid use of void
// except for cv pointer to void
void fn6() throw(void *); // ok -- pointer to void
void fn7() throw(void const *); // ok -- pointer to cv void
template<class T> void fny() throw(T); // ok (so far)
template<> void fny<int>() throw(int); // ok
template<> void fny<void>() throw(void); // { dg-error "" } invalid use of void
template<class T> void fnx(T *) throw(T){} // { dg-error "" } invalid use of void expression
void fx()
{
fnx((int *)0);
fnx((void *)0); // { dg-message "required from here" }
}
// [except.spec] 2, exception specifiers must be the same set of types (but
// can be reordered)
void baz1() throw(int, char);
void baz1() throw(char, int){} // reordering is ok
void baz2() throw(int, char);
void baz2() throw(int, char, int){} // duplicates are ignored
typedef int Int;
void baz3() throw(int, char);
void baz3() throw(Int, char){} // typedefs are the same type ...
void baz4() throw(int, Int, char); // ... so this is a duplicate
void baz4() throw(Int, char){}
void fna() throw(int, char); // { dg-error "" } to previous declaration
void fna() throw(int const, char); // { dg-error "" } declaration different exceptions // ERROR - to previous declaration
void fna() throw(int){} // { dg-error "" } declaration different exceptions
void fnb() throw(int, char); // { dg-error "" } to previous declaration
void fnb() throw(char){} // { dg-error "" } declaration different exceptions
void fnc() throw(int, char); // { dg-error "" } to previous declaration
void fnc() throw(char, int, float){} // { dg-error "" } declaration different exceptions
void fnd() throw(); // { dg-error "" } to previous declaration
void fnd() throw(char){} // { dg-error "" } declaration different exceptions
void fne() throw(char); // { dg-error "" } to previous declaration
void fne() throw(){} // { dg-error "" } declaration different exceptions
void fnf(); // { dg-error "" } to previous declaration
void fnf() throw(char){} // { dg-error "" } declaration different exceptions
void fng() throw(char); // { dg-error "" } to previous declaration
void fng(){} // { dg-error "" } declaration different exceptions
void fnh() throw(int, char); // { dg-error "" } to previous declaration
void fnh() throw(int, float){} // { dg-error "" } declaration different exceptions
void fni() throw(int, char); // { dg-error "" } to previous declaration
void fni() throw(float, char){} // { dg-error "" } declaration different exceptions
// [except.spec] 3, virtual function overriders shall throw a subset of the
// overridden function
struct E {};
struct F : public E {};
struct F1 : public E {};
struct G : public F, F1 {};
struct H : private E {};
struct A
{
virtual void foo() throw(); // { dg-error "" } overriding
virtual void baz() throw(double, int);
virtual void bar();
virtual void qux() throw(E);
virtual void qux(int) throw(E const *); // { dg-error "" } overriding (pedantically)
virtual void quux() throw(F); // { dg-error "" } overriding
virtual void quux(int) throw(F *); // { dg-error "" } overriding
virtual void wibble() throw(E); // { dg-error "" } overriding
virtual void wobble() throw(E *); // { dg-error "" } overriding
virtual void wobble(int) throw(E *); // { dg-error "" } overriding
virtual void wabble(int) throw(E *);
virtual void wubble(int) throw(E *, H *);
virtual ~A() throw(); // { dg-error "" } overriding
};
struct B : A
{
virtual void foo() throw(int); // { dg-error "" } looser throw - A::foo
virtual void baz() throw(double); // ok subset
virtual void bar(int) throw(int); // ok not overriding
virtual void qux() throw(F); // ok subset
virtual void qux(int) throw(F *); // { dg-error "" } looser (pedantically)
virtual void quux() throw(E); // { dg-error "" } looser throw - A::quux()
virtual void quux(int) throw(E *); // { dg-error "" } looser throw - A::quux(int)
virtual void wibble() throw(E *); // { dg-error "" } looser throw - A::wibble
virtual void wobble() throw(G *); // { dg-error "" } looser throw - A::wobble()
virtual void wobble(int) throw(H *); // { dg-error "" } looser throw - A::wobble(int)
virtual void wubble(int) throw(H *); // ok
virtual void wabble(int) throw(F1 *, F *); // ok
};
struct A1
{
virtual void foo() throw(int);
virtual void bar() throw(); // { dg-error "" } overriding
virtual ~A1() throw(int);
};
struct B1 : A
{
};
struct C : A, A1 // { dg-error "" } looser throw - A::~A()
{
virtual void foo() throw(int); // { dg-error "" } looser throw - A::foo
virtual void bar() throw(int); // { dg-error "" } looser throw - A1::bar
};
struct D : A, A1
{
virtual ~D() throw(int); // { dg-error "" } looser throw - A::~A()
};
// [except.spec] 5, types shall not be defined in exception specifiers
void fn8() throw(struct Z {}); // { dg-error "" } ANSI C++ forbids
|
