except.c (expand_throw): Make sure first argument to __cp_push_exception is of type...

	* except.c (expand_throw): Make sure first argument to
	__cp_push_exception is of type `void*' to avoid spurious error
	messages.

From-SVN: r23639

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 475ada1c5ac2a4bb3e16232a37d4c005046bf5dd..c613d8073edf990f9ac08a792685834535f218e3 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+1998-11-13  Mark Mitchell  <mark@markmitchell.com>
+
+       * except.c (expand_throw): Make sure first argument to
+       __cp_push_exception is of type `void*' to avoid spurious error
+       messages.
+
 1998-11-11  Jason Merrill  <jason@yorick.cygnus.com>
 
        * pt.c (try_one_overload): Take orig_targs again.  Only check for

diff --git a/gcc/cp/except.c b/gcc/cp/except.c
index 2d069dac6fd290343690327bb741c493b3209795..d2cc3e4db6f4363ef7b084dcd1fe437280ab0ecc 100644 (file)
--- a/gcc/cp/except.c
+++ b/gcc/cp/except.c
@@ -998,10 +998,7 @@ expand_throw (exp)
        }
 
       if (TREE_CODE (TREE_TYPE (exp)) == POINTER_TYPE)
-       {
-         throw_type = build_eh_type (exp);
-         exp = build_reinterpret_cast (ptr_type_node, exp);
-       }
+       throw_type = build_eh_type (exp);
       else
        {
          tree object, ptr;
@@ -1075,6 +1072,10 @@ expand_throw (exp)
          exp = ptr;
        }
 
+      /* Cast EXP to `void *' so that it will match the prototype for
+        __cp_push_exception.  */
+      exp = build_reinterpret_cast (ptr_type_node, exp);
+
       if (cleanup == NULL_TREE)
        {
          cleanup = build_int_2 (0, 0);

diff --git a/gcc/testsuite/g++.old-deja/g++.eh/throw1.C b/gcc/testsuite/g++.old-deja/g++.eh/throw1.C
new file mode 100644 (file)
index 0000000..49a7d1e
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.eh/throw1.C
@@ -0,0 +1,12 @@
+// Build don't link:
+
+void athrow(const int & e) throw(int)
+{
+   throw e;
+}
+
+int main(void)
+{
+   athrow(int());
+   return 0;
+}