diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 475ada1c5ac..c613d8073ed 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +1998-11-13 Mark Mitchell + + * 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 * 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 2d069dac6fd..d2cc3e4db6f 100644 --- 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 index 00000000000..49a7d1e68fd --- /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; +}