re PR c++/51046 ([C++0x] ICE by unexpanded template param pack in range-based for)

	PR c++/51046
	* parser.c (cp_parser_range_for): check_for_bare_parameter_packs.

From-SVN: r181239

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index a545511f79ef65fca9bcce981691b7cd0890c126..8dad57049802ca4e58c6297975ae3a18dce9b42e 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,8 @@
 2011-11-09  Jason Merrill  <jason@redhat.com>
 
+       PR c++/51046
+       * parser.c (cp_parser_range_for): check_for_bare_parameter_packs.
+
        PR c++/51029
        * class.c (build_base_path): Don't ICE in fold_non_dependent_expr.
 

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 3cb6dbf61a056869dba5476ee6203eba3258b0c4..fc8f3c82bac82242396f1f17ad4e560ce8988cfc 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -9292,6 +9292,8 @@ cp_parser_range_for (cp_parser *parser, tree scope, tree init, tree range_decl)
      at instantiation. If not, it is done just ahead. */
   if (processing_template_decl)
     {
+      if (check_for_bare_parameter_packs (range_expr))
+       range_expr = error_mark_node;
       stmt = begin_range_for_stmt (scope, init);
       finish_range_for_decl (stmt, range_decl, range_expr);
       if (!type_dependent_expression_p (range_expr)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b92292b1193d17c534772aa10b33676b7e9a4772..5de54110de6c5f31a66625f3b86a8e8966ec6374 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-11-09  Jason Merrill  <jason@redhat.com>
+
+       PR c++/51046
+       * g++.dg/cpp0x/variadic119.C: New.
+
 2011-11-09  Jakub Jelinek  <jakub@redhat.com>
 
        PR target/50911

diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic119.C b/gcc/testsuite/g++.dg/cpp0x/variadic119.C
new file mode 100644 (file)
index 0000000..78cd23e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/variadic119.C
@@ -0,0 +1,13 @@
+// PR c++/51046
+// { dg-do compile { target c++11 } }
+
+template<int... IS>
+void f()
+{
+  for (int i : IS);            // { dg-error "not expanded" }
+}
+
+int main()
+{
+  f<0, 1, 2>();
+}