re PR c++/32567 (ICE on invalid use of parameter pack)

	PR c++/32567
	* typeck.c (build_unary_op) <case PREINCREMENT_EXPR>: Return
	error_mark_node right away if build_expr_type_conversion
	returned it.

	* g++.dg/parse/crash36.C: New test.

From-SVN: r127760

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index e39c0a1b695e061d039ca66e79e7cd4aab8ebd3d..6e5a358f436c0f0ca07208bb966caa89d8b99ec8 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,10 @@
 2007-08-24  Jakub Jelinek  <jakub@redhat.com>
 
+       PR c++/32567
+       * typeck.c (build_unary_op) <case PREINCREMENT_EXPR>: Return
+       error_mark_node right away if build_expr_type_conversion
+       returned it.
+
        PR c++/32898
        * name-lookup.c (set_decl_namespace): lookup_qualified_name failure
        is error_mark_node rather than NULL_TREE.

diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index f01960882197f573128a0dc9b773ae77e08a662f..dce4d590c965a006227340460d31d1f363957a1e 100644 (file)
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -4259,6 +4259,8 @@ build_unary_op (enum tree_code code, tree xarg, int noconvert)
            errstring ="no post-decrement operator for type";
          break;
        }
+      else if (arg == error_mark_node)
+       return error_mark_node;
 
       /* Report something read-only.  */
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8fb461340b4c339986baa69555ef4ae73118a524..e4b7ed24eb5087635787ecc576f2e48bf2b5fbce 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-08-24  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/32567
+       * g++.dg/parse/crash36.C: New test.
+
 2007-08-23  H.J. Lu  <hongjiu.lu@intel.com>
 
        * gcc.dg/pr32721.c: Updated.

diff --git a/gcc/testsuite/g++.dg/parse/crash36.C b/gcc/testsuite/g++.dg/parse/crash36.C
new file mode 100644 (file)
index 0000000..1e5ab8f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/parse/crash36.C
@@ -0,0 +1,11 @@
+// PR c++/32567
+// { dg-do compile }
+// { dg-options "-std=c++98" }
+
+template <typename... T> struct A      // { dg-error "does not include variadic templates" }
+{
+  static T &t;                         // { dg-error "not expanded with|T" }
+  static const int i = sizeof (++t);   // { dg-error "invalid use of template type parameter" }
+};
+
+int x[A <int>::i];     // { dg-error "is not an integral constant-expression" }