From 7f623b330f2212db4470058b280c8fcd543d018b Mon Sep 17 00:00:00 2001 From: reichelt Date: Sat, 6 May 2006 00:19:40 +0000 Subject: [PATCH] PR c++/27422 * typeck.c (convert_arguments): Return early on args with invalid types. * g++.dg/conversion/void1.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@113568 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/typeck.c | 2 +- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/conversion/void1.C | 5 +++++ 4 files changed, 17 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/conversion/void1.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f423f4f..c24ed2a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2006-05-06 Volker Reichelt + + PR c++/27422 + * typeck.c (convert_arguments): Return early on args with + invalid types. + 2006-05-03 Aldy Hernandez PR/21391 diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c index 78e3a2b..7d3bd3a 100644 --- a/gcc/cp/typeck.c +++ b/gcc/cp/typeck.c @@ -2704,7 +2704,7 @@ convert_arguments (tree typelist, tree values, tree fndecl, int flags) tree type = typetail ? TREE_VALUE (typetail) : 0; tree val = TREE_VALUE (valtail); - if (val == error_mark_node) + if (val == error_mark_node || type == error_mark_node) return error_mark_node; if (type == void_type_node) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c6683a9..500e64a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-05-06 Volker Reichelt + + PR c++/27422 + * g++.dg/conversion/void1.C: New test. + 2006-05-03 Aldy Hernandez PR/21391 diff --git a/gcc/testsuite/g++.dg/conversion/void1.C b/gcc/testsuite/g++.dg/conversion/void1.C new file mode 100644 index 0000000..120fc0e --- /dev/null +++ b/gcc/testsuite/g++.dg/conversion/void1.C @@ -0,0 +1,5 @@ +// PR c++/27422 +// { dg-do compile } + +void foo(void i); // { dg-error "incomplete type|invalid use" } +void bar() { foo(0); } -- 2.7.4