re PR c++/58560 ([c++11] ICE with auto in typedef)

/cp
2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/58560
	* typeck2.c (build_functional_cast): Use error_operand_p on exp.

/testsuite
2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/58560
	* g++.dg/cpp0x/auto39.C: New.

From-SVN: r203220

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 88e5078b5b6b099fc4507d8c5f10678555c4539d..219f415483171b0b32bb6c907a6350a26793de73 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/58560
+       * typeck2.c (build_functional_cast): Use error_operand_p on exp.
+
 2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/58503

diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c
index 8882816666c1162450908bdeb9c80e432a5c1932..011406ca3ab66e6599c5192bf43c78cc6ce2db5a 100644 (file)
--- a/gcc/cp/typeck2.c
+++ b/gcc/cp/typeck2.c
@@ -1757,7 +1757,7 @@ build_functional_cast (tree exp, tree parms, tsubst_flags_t complain)
   tree type;
   vec<tree, va_gc> *parmvec;
 
-  if (exp == error_mark_node || parms == error_mark_node)
+  if (error_operand_p (exp) || parms == error_mark_node)
     return error_mark_node;
 
   if (TREE_CODE (exp) == TYPE_DECL)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 68d415ef0051fee679a3c1095c09ae9474b268da..20ffa47e90a6098b2c484334606b272e901ed907 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/58560
+       * g++.dg/cpp0x/auto39.C: New.
+
 2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/58503

diff --git a/gcc/testsuite/g++.dg/cpp0x/auto39.C b/gcc/testsuite/g++.dg/cpp0x/auto39.C
new file mode 100644 (file)
index 0000000..dfa1fb4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/auto39.C
@@ -0,0 +1,6 @@
+// PR c++/58560
+// { dg-do compile { target c++11 } }
+
+typedef auto T;     // { dg-error "typedef declared 'auto'" }
+
+void foo() { T(); }