OK.
On Tue, Apr 3, 2018 at 12:06 PM, Jakub Jelinek <ja...@redhat.com> wrote:
> Hi!
>
> The following testcase ICEs in fixed_parameter_pack_p_1, because parm is
> error_mark_node and we assert it is one of the 3 TREE_CODEs we handle.
>
> Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for
> trunk?
>
> 2018-04-03 Jakub Jelinek <ja...@redhat.com>
>
> PR c++/85147
> * pt.c (fixed_parameter_pack_p_1): Punt if parm is error_mark_node.
>
> * g++.dg/cpp0x/pr85147.C: New test.
>
> --- gcc/cp/pt.c.jj 2018-03-30 20:37:36.000000000 +0200
> +++ gcc/cp/pt.c 2018-04-03 09:18:17.530206448 +0200
> @@ -5101,7 +5101,7 @@ static void
> fixed_parameter_pack_p_1 (tree parm, struct find_parameter_pack_data *ppd)
> {
> /* A type parm can't refer to another parm. */
> - if (TREE_CODE (parm) == TYPE_DECL)
> + if (TREE_CODE (parm) == TYPE_DECL || parm == error_mark_node)
> return;
> else if (TREE_CODE (parm) == PARM_DECL)
> {
> --- gcc/testsuite/g++.dg/cpp0x/pr85147.C.jj 2018-04-03
> 09:25:31.141148605 +0200
> +++ gcc/testsuite/g++.dg/cpp0x/pr85147.C 2018-04-03
> 09:26:49.308138185 +0200
> @@ -0,0 +1,9 @@
> +// PR c++/85147
> +// { dg-do compile { target c++11 } }
> +
> +template<typename T> struct A
> +{
> + template<template<...T> class...> struct B {}; // { dg-error
> "expected|mismatch" }
> +};
> +
> +A<int>::B<> b; // { dg-error
> "does not name a template type" }
>
> Jakub
>
