From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001 From: upstream source tree Date: Sun, 15 Mar 2015 20:14:05 -0400 Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository. --- gcc/testsuite/g++.old-deja/g++.eh/spec6.C | 137 ++++++++++++++++++++++++++++++ 1 file changed, 137 insertions(+) create mode 100644 gcc/testsuite/g++.old-deja/g++.eh/spec6.C (limited to 'gcc/testsuite/g++.old-deja/g++.eh/spec6.C') diff --git a/gcc/testsuite/g++.old-deja/g++.eh/spec6.C b/gcc/testsuite/g++.old-deja/g++.eh/spec6.C new file mode 100644 index 000000000..015bbefdf --- /dev/null +++ b/gcc/testsuite/g++.old-deja/g++.eh/spec6.C @@ -0,0 +1,137 @@ +// { dg-do assemble } + +// Copyright (C) 1999 Free Software Foundation, Inc. +// Contributed by Nathan Sidwell 19 Jan 1999 + +// 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 void fny() throw(T); // ok (so far) +template<> void fny() throw(int); // ok +template<> void fny() throw(void); // { dg-error "" } invalid use of void + +template void fnx(T *) throw(T){} // { dg-error "" } invalid use of void expression +void fx() +{ + fnx((int *)0); + fnx((void *)0); // { dg-message "instantiated 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 -- cgit v1.2.3