diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index b5b2b04fe1d810207c735c76bedeaecc4d5c28f5..a4024ef515520afe20f1e79732de2bbb2a20567e 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2009-11-20 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/42060 + * except.c (build_throw): Check the tree returned by + decay_conversion for error_mark_node. + 2009-11-20 Shujing Zhao <pearly.zhao@oracle.com> PR c++/29017 diff --git a/gcc/cp/except.c b/gcc/cp/except.c index 1b13819ed67496bc747cddb6b69417e4006b056e..66dc14eaefbc3645e0275651af319119288f1f14 100644 --- a/gcc/cp/except.c +++ b/gcc/cp/except.c @@ -752,8 +752,12 @@ build_throw (tree exp) } } else - exp = build2 (INIT_EXPR, temp_type, object, - decay_conversion (exp)); + { + tmp = decay_conversion (exp); + if (tmp == error_mark_node) + return error_mark_node; + exp = build2 (INIT_EXPR, temp_type, object, tmp); + } /* Pre-evaluate the thrown expression first, since if we allocated the space first we would have to deal with cleaning it up if diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4cc2378cdb350ecf890b1d8dee550aea45351726..de7ab00fd2b58920c617e722dd5c6fba66a84f91 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-11-20 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/42060 + * g++.dg/cpp0x/initlist28.C: New. + 2009-11-20 H.J. Lu <hongjiu.lu@intel.com> * gfortran.dg/proc_ptr_comp_23.f90: Add a missing space. diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist28.C b/gcc/testsuite/g++.dg/cpp0x/initlist28.C new file mode 100644 index 0000000000000000000000000000000000000000..3b959a03a533184f3d4c6a1c48839d8882c11e7b --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/initlist28.C @@ -0,0 +1,8 @@ +// PR c++/42060 +// { dg-options "-std=c++0x" } + +void foo() +{ + int a[1]; + throw a = {}; // { dg-error "invalid use of non-lvalue array" } +}