"New" testsuite entries approved by Jeff on 5/23.

From-SVN: r27222

10 files changed, 496 insertions, 0 deletions

diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-1.C b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-1.C
new file mode 100644
index 0000000..9bf8a09
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-1.C
@@ -0,0 +1,74 @@
+// check cleanup of template temporaries
+
+int ctor = 0;
+int dtor = 0;
+
+template <class T> struct A {
+	A() {ctor++;}
+	A(int) {ctor++;}
+	A(const A&) {ctor++;}
+	~A() {dtor++;}
+	operator int() {return 0;}
+};
+
+template <class T> void ff(T);
+
+template <class T> void ff(T)
+{
+}
+
+void g(void)
+{
+}
+
+void f()
+{
+	int x;
+
+	A<int> a1;
+	A<double> a2(37);
+	A<long> a3 = A<long>(47);
+	A<short> a4 = 97;
+
+	g(A<char*>());
+
+	A<char**>();
+
+	x ? A<char*>() : A<char*>();
+
+	x = 47, A<double*>(), A<int>(39), A<void>(23), -17;
+
+	while (A<short>())
+		;
+	for (;A<unsigned>(3);)
+		;
+	if (A<A<double> >())
+		;
+
+	ff(A<double>());
+
+	throw 59;
+}
+
+int 
+main()
+{
+	int flag = 0;
+
+	try {
+		A<unsigned long>();
+		f();
+	}
+	catch (int) {
+		A<float>(34);
+		flag = 1;
+	}
+
+	if (!flag)
+		abort();
+
+	if (!ctor || ctor != dtor)
+		abort();
+
+	exit(0);
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-2.C b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-2.C
new file mode 100644
index 0000000..90d93ad
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-2.C
@@ -0,0 +1,100 @@
+// check MI and VBC offsets on throw
+
+struct A {
+	int x[23];
+};
+
+struct B : virtual public A {
+	int y[33];
+};
+
+struct C : virtual public A, public B {
+	int z[43];
+};
+
+struct D {
+	int xx[53];
+};
+
+struct E : public D, public A {
+	int yy[63];
+};
+
+C c;
+
+E e;
+
+void f1()
+{
+	throw (C*)0;
+}
+
+void f2()
+{
+	throw &c;
+}
+
+void f3()
+{
+	throw (E*)0;
+}
+
+void f4()
+{
+	throw &e;
+}
+
+int main()
+{
+	int flag;
+
+	flag = 0;
+	try {
+		f1();
+	}
+	catch (A* p) {
+		if (p)
+			abort();
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f2();
+	}
+	catch (A* p) {
+		if (!p || (void*)p == (void*)&c)
+			abort();
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f3();
+	}
+	catch (A* p) {
+		if (p)
+			abort();
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f4();
+	}
+	catch (A* p) {
+		if (!p || (void*)p == (void*)&e)
+			abort();
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	exit(0);
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-3.C b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-3.C
new file mode 100644
index 0000000..5d94515
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-3.C
@@ -0,0 +1,27 @@
+// try throwing 0 cast to a class object
+
+struct A {};
+
+void f()
+{
+	throw (A*)0;
+}
+
+int
+main()
+{
+	int flag;
+
+	flag = 0;
+	try {
+		f();
+	}
+	catch (A*) {
+		flag = 1;
+	}
+
+	if (!flag)
+		abort();
+
+	exit (0);
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-4.C b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-4.C
new file mode 100644
index 0000000..315a78b
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-4.C
@@ -0,0 +1,101 @@
+// check MI and VBC offsets on throw
+
+struct A {
+	int x[23];
+};
+
+struct B : virtual public A {
+	int y[33];
+};
+
+struct C : virtual public A, public B {
+	int z[43];
+};
+
+struct D {
+	int xx[53];
+};
+
+struct E : public D, public A {
+	int yy[63];
+};
+
+C c;
+
+E e;
+
+void f1()
+{
+	throw (C*)0;
+}
+
+void f2()
+{
+	throw &c;
+}
+
+void f3()
+{
+	throw (E*)0;
+}
+
+void f4()
+{
+	throw &e;
+}
+
+int
+main()
+{
+	int flag;
+
+	flag = 0;
+	try {
+		f1();
+	}
+	catch (void* p) {
+		if (p)
+			abort();
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f2();
+	}
+	catch (void* p) {
+		if (!p || (void*)p != (void*)&c)
+			abort();
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f3();
+	}
+	catch (void* p) {
+		if (p)
+			abort();
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f4();
+	}
+	catch (void* p) {
+		if (!p || (void*)p != (void*)&e)
+			abort();
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	exit(0);
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-5.C b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-5.C
new file mode 100644
index 0000000..7f52a9b
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/eh990323-5.C
@@ -0,0 +1,65 @@
+// check cleanup of partial array objects
+
+int ctor = 0;
+int dtor = 0;
+
+int cnt = 1;
+
+struct A {
+	int x;
+	A();
+	A(const A&);
+	~A();
+};
+
+A::A()
+{
+	if (cnt == 10)
+		throw 57;
+	x = cnt++;
+	ctor++;
+}
+
+A::A(const A&)
+{
+	if (cnt == 10)
+		throw 57;
+	x = cnt++;
+	ctor++;
+}
+
+A::~A()
+{
+	if (x + 1 != cnt--)
+		abort();
+	dtor++;
+}
+
+void f()
+{
+	A a[] = {A(), A(), A(), A(), A(), A(), A(), A(), A(), A(), A(), A()};
+
+	throw -1066;
+}
+
+int
+main()
+{
+	int flag;
+
+	flag = 0;
+	try {
+		f();
+	}
+	catch (int) {
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+	if (ctor != 9)
+		abort();
+	if (dtor != 9)
+		abort();
+
+	exit(0);
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-1.C b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-1.C
new file mode 100644
index 0000000..c03154b
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-1.C
@@ -0,0 +1,7 @@
+//test 2
+struct A {};
+void f()
+{
+        struct A;
+        throw *(new A);
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-2.C b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-2.C
new file mode 100644
index 0000000..3fa5bd5
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-2.C
@@ -0,0 +1,85 @@
+// check EH with templates
+
+template <class T, int n, class U> struct A {
+	A() {}
+	A(char*) {}
+};
+
+void f1()
+{
+	throw *(new A<double, 47, A<int, 37, short> >);
+}
+
+void f2()
+{
+	throw *(new A<double, 47, A<int, 36, short> >);
+}
+
+void f3()
+{
+	throw A<double, 47, A<int, 37, short> > ("howdy");
+}
+
+void f4()
+{
+	throw A<double, 47, A<int, 36, short> > ("hi michey");
+}
+
+main()
+{
+	int flag;
+
+	flag = 0;
+	try {
+		f1();
+	}
+	catch (A<double, 47, A<int, 36, short> >) {
+		abort();
+	}
+	catch (A<double, 47, A<int, 37, short> >) {
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f2();
+	}
+	catch (A<double, 47, A<int, 36, short&> >) {
+		abort();
+	}
+	catch (A<double, 47, A<int, 36, short> >) {
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f3();
+	}
+	catch (A<double, 47, A<int, 36, short> >) {
+		abort();
+	}
+	catch (A<double, 47, A<int, 37, short> >) {
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	flag = 0;
+	try {
+		f4();
+	}
+	catch (A<double, 47, A<int, 36, short&> >) {
+		abort();
+	}
+	catch (A<double, 47, A<int, 36, short> >) {
+		flag = 1;
+	}
+	if (!flag)
+		abort();
+
+	exit(0);
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-3.C b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-3.C
new file mode 100644
index 0000000..55cb16c
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-3.C
@@ -0,0 +1,14 @@
+// try throwing overloaded function
+
+void f(int)
+{
+}
+
+void f(long)
+{
+}
+
+void g()
+{
+	throw &f;
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-4.C b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-4.C
new file mode 100644
index 0000000..85bbb45
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-4.C
@@ -0,0 +1,12 @@
+// try throwing template function name
+
+template <class T> void f(T);
+
+template <class T> void f(T)
+{
+}
+
+void g()
+{
+	throw &f;
+}
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-5.C b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-5.C
new file mode 100644
index 0000000..c49b66e
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/ice990323-5.C
@@ -0,0 +1,11 @@
+// check attempting to throw an overloaded function
+
+struct A {
+	void f(int);
+	void f(long);
+};
+
+void g()
+{
+	throw &A::f;
+}