From 4602ae77e1cc75bb08745145a96ace8670a15bbc Mon Sep 17 00:00:00 2001 From: paolo Date: Sat, 26 May 2012 21:20:38 +0000 Subject: [PATCH] /cp 2012-05-26 Paolo Carlini PR c++/53491 * tree.c (stabilize_expr): Handle exp of void type. /testsuite 2012-05-26 Paolo Carlini PR c++/53491 * g++.dg/parse/crash60.C: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@187917 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/cp/ChangeLog | 5 +++++ gcc/cp/tree.c | 5 +++++ gcc/testsuite/ChangeLog | 7 ++++++- gcc/testsuite/g++.dg/parse/crash60.C | 14 ++++++++++++++ 4 files changed, 30 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/parse/crash60.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 2bf548d06f8..7cc173b27f2 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2012-05-26 Paolo Carlini + + PR c++/53491 + * tree.c (stabilize_expr): Handle exp of void type. + 2012-05-26 Jason Merrill PR c++/53220 diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c index 7c59105b9ce..236180de7fd 100644 --- a/gcc/cp/tree.c +++ b/gcc/cp/tree.c @@ -3281,6 +3281,11 @@ stabilize_expr (tree exp, tree* initp) if (!TREE_SIDE_EFFECTS (exp)) init_expr = NULL_TREE; + else if (VOID_TYPE_P (TREE_TYPE (exp))) + { + *initp = exp; + return void_zero_node; + } /* There are no expressions with REFERENCE_TYPE, but there can be call arguments with such a type; just treat it as a pointer. */ else if (TREE_CODE (TREE_TYPE (exp)) == REFERENCE_TYPE diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5b3df3617cc..95136c99c03 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,4 +1,9 @@ -2012-05-22 Jason Merrill +2012-05-26 Paolo Carlini + + PR c++/53491 + * g++.dg/parse/crash60.C: New. + +2012-05-26 Jason Merrill PR c++/53220 * c-c++-common/array-lit.c: New. diff --git a/gcc/testsuite/g++.dg/parse/crash60.C b/gcc/testsuite/g++.dg/parse/crash60.C new file mode 100644 index 00000000000..e515396771e --- /dev/null +++ b/gcc/testsuite/g++.dg/parse/crash60.C @@ -0,0 +1,14 @@ +// PR c++/53491 + +struct M +{ + void pop(); +}; + +void foo() +{ + int result = 0; + M m; + + result += m.pop(); // { dg-error "invalid operands|in evaluation" } +} -- 2.11.4.GIT