OK.
On Fri, Dec 2, 2016 at 3:41 PM, Jakub Jelinek <ja...@redhat.com> wrote:
> Hi!
>
> Trying to value initialize error_mark_node type ICEs, other spots avoid
> calling build_value_init* if the type is error_mark_node.
>
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
>
> 2016-12-02 Jakub Jelinek <ja...@redhat.com>
>
> PR c++/78649
> * pt.c (tsubst_init): Don't call build_value_init if decl's type
> is error_mark_node.
>
> * g++.dg/cpp0x/pr78649.C: New test.
>
> --- gcc/cp/pt.c.jj 2016-11-23 16:58:30.000000000 +0100
> +++ gcc/cp/pt.c 2016-12-02 14:38:43.237451068 +0100
> @@ -14082,7 +14082,7 @@ tsubst_init (tree init, tree decl, tree
>
> init = tsubst_expr (init, args, complain, in_decl, false);
>
> - if (!init)
> + if (!init && TREE_TYPE (decl) != error_mark_node)
> {
> /* If we had an initializer but it
> instantiated to nothing,
> --- gcc/testsuite/g++.dg/cpp0x/pr78649.C.jj 2016-12-02 14:51:02.057892855
> +0100
> +++ gcc/testsuite/g++.dg/cpp0x/pr78649.C 2016-12-02 14:50:42.000000000
> +0100
> @@ -0,0 +1,16 @@
> +// PR c++/78649
> +// { dg-do compile { target c++11 } }
> +
> +template <class> void foo ();
> +template <class T, class... U>
> +void
> +test ()
> +{
> + T t (foo<U>...); // { dg-error "declared void" }
> +}
> +
> +int
> +main ()
> +{
> + test<void> ();
> +}
>
> Jakub
