PR c++/84770 - ICE with typedef and parameter pack.

	* pt.c (verify_unstripped_args_1): Split out from
	verify_unstripped_args.

From-SVN: r258408

gcc/cp/ChangeLog

 2018-03-09  Jason Merrill  <jason@redhat.com>
 
+	PR c++/84770 - ICE with typedef and parameter pack.
+	* pt.c (verify_unstripped_args_1): Split out from
+	verify_unstripped_args.
+
 	PR c++/84785 - ICE with alias template and default targs.
 	* pt.c (type_unification_real): Set processing_template_decl if
 	saw_undeduced == 1.

gcc/cp/pt.c

@@ -1134,12 +1134,8 @@ optimize_specialization_lookup_p (tree tmpl)
    gone through coerce_template_parms by now.  */
 
 static void
-verify_unstripped_args (tree args)
+verify_unstripped_args_1 (tree inner)
 {
-  ++processing_template_decl;
-  if (!any_dependent_template_arguments_p (args))
-    {
-      tree inner = INNERMOST_TEMPLATE_ARGS (args);
   for (int i = 0; i < TREE_VEC_LENGTH (inner); ++i)
     {
       tree arg = TREE_VEC_ELT (inner, i);
@@ -1147,13 +1143,22 @@ verify_unstripped_args (tree args)
 	/* OK */;
       else if (TYPE_P (arg))
 	gcc_assert (strip_typedefs (arg, NULL) == arg);
+      else if (ARGUMENT_PACK_P (arg))
+	verify_unstripped_args_1 (ARGUMENT_PACK_ARGS (arg));
       else if (strip_typedefs (TREE_TYPE (arg), NULL) != TREE_TYPE (arg))
 	/* Allow typedefs on the type of a non-type argument, since a
 	   parameter can have them.  */;
       else
 	gcc_assert (strip_typedefs_expr (arg, NULL) == arg);
     }
-    }
+}
+
+static void
+verify_unstripped_args (tree args)
+{
+  ++processing_template_decl;
+  if (!any_dependent_template_arguments_p (args))
+    verify_unstripped_args_1 (INNERMOST_TEMPLATE_ARGS (args));
   --processing_template_decl;
 }
 

gcc/testsuite/g++.dg/cpp0x/variadic173.C

+// PR c++/84770
+// { dg-do compile { target c++11 } }
+
+typedef int T;
+
+template<T&...> struct A {};
+
+int i;
+
+A<i> a;