* g++.old-deja/g++.eh/spec6.C: Add more tests. Remove XFAILS.
From-SVN: r28495
This commit is contained in:
Nathan Sidwell
Nathan Sidwell
parent
4cc1d46201
commit
fb2000b293
|
|
@ -1,3 +1,7 @@
|
|||
1999-08-04 Nathan Sidwell <nathan@acm.org>
|
||||
|
||||
* g++.old-deja/g++.eh/spec6.C: Add more tests. Remove XFAILS.
|
||||
|
||||
Wed Aug 4 01:17:17 1999 Jeffrey A Law (law@cygnus.com)
|
||||
|
||||
* gcc.c-torture/execute/990804-1.c: New test.
|
||||
|
|
|
|||
|
|
@ -7,40 +7,136 @@
|
|||
|
||||
// [except.spec] 1, a type in an exception specifier shall not be incomplete,
|
||||
// or pointer or ref to incomplete
|
||||
struct X; // ERROR - forward declaration - XFAIL
|
||||
void fn1() throw(X); // ERROR - incomplete type - XFAIL
|
||||
void fn2() throw(X *); // ERROR - incomplete type - XFAIL
|
||||
void fn3() throw(X &); // ERROR - incomplete type - XFAIL
|
||||
void fn4() throw(void); // ERROR - incomplete type - XFAIL
|
||||
struct X; // ERROR - forward declaration.*
|
||||
void fn1() throw(X); // ERROR - invalid use of undefined type
|
||||
void fn2() throw(X *); // ERROR - invalid use of undefined type
|
||||
void fn3() throw(X &); // ERROR - invalid use of undefined tyoe
|
||||
void fn4() throw(void); // ERROR - invalid use of void expression
|
||||
void fn5() throw(void &); // ERROR - invalid type // ERROR - invalid use of void
|
||||
// except for cv pointer to void
|
||||
void fn5() throw(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); // ERROR - invalid use of void
|
||||
|
||||
template<class T> void fnx(T *) throw(T){} // ERROR - invalid use of void expression
|
||||
void fx()
|
||||
{
|
||||
fnx((int *)0);
|
||||
fnx((void *)0);
|
||||
}
|
||||
|
||||
// [except.spec] 2, exception specifiers must be the same set of types (but
|
||||
// can be reordered)
|
||||
void fn() throw(int, char); // gets bogus error - XFAIL
|
||||
void fn() throw(char, int){} // gets bogus error - ordering is irrelevant - XFAIL
|
||||
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); // ERROR - to previous declaration
|
||||
void fna() throw(int const, char); // ERROR - declaration different exceptions // ERROR - to previous declaration
|
||||
void fna() throw(int){} // ERROR - declaration different exceptions
|
||||
|
||||
void fnb() throw(int, char); // ERROR - to previous declaration
|
||||
void fnb() throw(char){} // ERROR - declaration different exceptions
|
||||
|
||||
void fnc() throw(int, char); // ERROR - to previous declaration
|
||||
void fnc() throw(char, int, float){} // ERROR - declaration different exceptions
|
||||
|
||||
void fnd() throw(); // ERROR - to previous declaration
|
||||
void fnd() throw(char){} // ERROR - declaration different exceptions
|
||||
|
||||
void fne() throw(char); // ERROR - to previous declaration
|
||||
void fne() throw(){} // ERROR - declaration different exceptions
|
||||
|
||||
void fnf(); // ERROR - to previous declaration
|
||||
void fnf() throw(char){} // ERROR - declaration different exceptions
|
||||
|
||||
void fng() throw(char); // ERROR - to previous declaration
|
||||
void fng(){} // ERROR - declaration different exceptions
|
||||
|
||||
void fnh() throw(int, char); // ERROR - to previous declaration
|
||||
void fnh() throw(int, float){} // ERROR - declaration different exceptions
|
||||
|
||||
void fni() throw(int, char); // ERROR - to previous declaration
|
||||
void fni() throw(float, char){} // 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();
|
||||
virtual void foo() throw(); // ERROR - overriding
|
||||
virtual void baz() throw(double, int);
|
||||
virtual void bar();
|
||||
virtual void qux() throw(E);
|
||||
virtual void quux() throw(F);
|
||||
virtual void qux(int) throw(E const *); // ERROR - overriding (pedantically)
|
||||
virtual void quux() throw(F); // ERROR - overriding
|
||||
virtual void quux(int) throw(F *); // ERROR - overriding
|
||||
virtual void wibble() throw(E); // ERROR - overriding
|
||||
virtual void wobble() throw(E *); // ERROR - overriding
|
||||
virtual void wobble(int) throw(E *); // ERROR - overriding
|
||||
virtual void wabble(int) throw(E *);
|
||||
virtual void wubble(int) throw(E *, H *);
|
||||
virtual ~A() throw(); // ERROR - overriding XFAIL
|
||||
};
|
||||
|
||||
struct B : A
|
||||
{
|
||||
virtual void foo() throw(int); // ERROR - not in base function - XFAIL
|
||||
virtual void baz() throw(double);
|
||||
virtual void bar(int) throw(int);
|
||||
virtual void qux() throw(F);
|
||||
virtual void quux() throw(E); // ERROR - not in base function - XFAIL
|
||||
virtual void foo() throw(int); // 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 *); // ERROR - looser (pedantically)
|
||||
virtual void quux() throw(E); // ERROR - looser throw - A::quux()
|
||||
virtual void quux(int) throw(E *); // ERROR - looser throw - A::quux(int)
|
||||
virtual void wibble() throw(E *); // ERROR - looser throw - A::wibble
|
||||
virtual void wobble() throw(G *); // ERROR - looser throw - A::wobble()
|
||||
virtual void wobble(int) throw(H *); // 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(); // ERROR - overriding
|
||||
virtual ~A1() throw(int);
|
||||
};
|
||||
|
||||
struct B1 : A
|
||||
{
|
||||
};
|
||||
|
||||
struct C : A, A1
|
||||
{
|
||||
virtual void foo() throw(int); // ERROR - looser throw - A::foo
|
||||
virtual void bar() throw(int); // ERROR - looser throw - A1::bar
|
||||
// The xfail is because we don't build exception specifiers for implicit
|
||||
// members. So we don't check them either.
|
||||
// C::~C() throw(int), is the correct specification of the destructor.
|
||||
}; // ERROR - looser throw - A::~A() - XFAIL
|
||||
|
||||
struct D : A, A1
|
||||
{
|
||||
// The xfail here is because we don't have the check in the right place to
|
||||
// catch dtor failings.
|
||||
virtual ~D() throw(int); // ERROR - looser throw - A::~A() - XFAIL
|
||||
};
|
||||
|
||||
// [except.spec] 5, types shall not be defined in exception specifiers
|
||||
void fn6() throw(struct Z {}); // ERROR - types shall not be defined - XFAIL
|
||||
void fn8() throw(struct Z {}); // ERROR - ANSI C++ forbids
|
||||
|
|
|
|||
Loading…
Reference in New Issue