PR c++/71833 - member template with two parameter packs

* pt.c (coerce_template_parameter_pack): Fix logic for
	pack index.

From-SVN: r238765
This commit is contained in:
Jason Merrill 2016-07-26 16:29:12 -04:00 committed by Jason Merrill
parent a57ce13728
commit 856aa28cb8
3 changed files with 19 additions and 3 deletions

View File

@ -1,3 +1,9 @@
2016-07-25 Jason Merrill <jason@redhat.com>
PR c++/71833
* pt.c (coerce_template_parameter_pack): Fix logic for
pack index.
2016-07-21 Jason Merrill <jason@redhat.com>
PR c++/69223

View File

@ -6912,11 +6912,12 @@ coerce_template_parameter_pack (tree parms,
/* Convert the remaining arguments, which will be a part of the
parameter pack "parm". */
int first_pack_arg = arg_idx;
for (; arg_idx < nargs; ++arg_idx)
{
tree arg = TREE_VEC_ELT (inner_args, arg_idx);
tree actual_parm = TREE_VALUE (parm);
int pack_idx = arg_idx - parm_idx;
int pack_idx = arg_idx - first_pack_arg;
if (packed_parms)
{
@ -6945,12 +6946,12 @@ coerce_template_parameter_pack (tree parms,
TREE_VEC_ELT (packed_args, pack_idx) = arg;
}
if (arg_idx - parm_idx < TREE_VEC_LENGTH (packed_args)
if (arg_idx - first_pack_arg < TREE_VEC_LENGTH (packed_args)
&& TREE_VEC_LENGTH (packed_args) > 0)
{
if (complain & tf_error)
error ("wrong number of template arguments (%d, should be %d)",
arg_idx - parm_idx, TREE_VEC_LENGTH (packed_args));
arg_idx - first_pack_arg, TREE_VEC_LENGTH (packed_args));
return error_mark_node;
}

View File

@ -0,0 +1,9 @@
// PR c++/71833
// { dg-do compile { target c++11 } }
template < typename ... Ts > struct A
{
template < Ts ..., typename ... Us > struct B {};
};
A <>::B < int > e;