c++: ICE with unexpanded pack in do-while [PR99063]
Here an unexpanded parameter pack snuck into prep_operand which doesn't expect to see an operand without a type, and since r247842 NONTYPE_ARGUMENT_PACK doesn't have a type anymore. This only happens with the do-while loop whose condition may not contain a declaration so we never called finish_cond which checks for unexpanded parameter packs. So use check_for_bare_parameter_packs to remedy that. gcc/cp/ChangeLog: PR c++/99063 * semantics.c (finish_do_stmt): Check for unexpanded parameter packs. gcc/testsuite/ChangeLog: PR c++/99063 * g++.dg/cpp0x/variadic-crash6.C: New test.
This commit is contained in:
parent
cb168f779c
commit
f0da1c0cb7
@ -1028,6 +1028,11 @@ finish_do_stmt (tree cond, tree do_stmt, bool ivdep, unsigned short unroll)
|
||||
{
|
||||
cond = maybe_convert_cond (cond);
|
||||
end_maybe_infinite_loop (cond);
|
||||
/* Unlike other iteration statements, the condition may not contain
|
||||
a declaration, so we don't call finish_cond which checks for
|
||||
unexpanded parameter packs. */
|
||||
if (check_for_bare_parameter_packs (cond))
|
||||
cond = error_mark_node;
|
||||
if (ivdep && cond != error_mark_node)
|
||||
cond = build3 (ANNOTATE_EXPR, TREE_TYPE (cond), cond,
|
||||
build_int_cst (integer_type_node, annot_expr_ivdep_kind),
|
||||
|
16
gcc/testsuite/g++.dg/cpp0x/variadic-crash6.C
Normal file
16
gcc/testsuite/g++.dg/cpp0x/variadic-crash6.C
Normal file
@ -0,0 +1,16 @@
|
||||
// PR c++/99063
|
||||
// { dg-do compile { target c++11 } }
|
||||
|
||||
template <typename... T>
|
||||
void f (T... n)
|
||||
{
|
||||
do
|
||||
{
|
||||
}
|
||||
while (--n); // { dg-error "parameter packs not expanded with '...'" }
|
||||
}
|
||||
|
||||
void g ()
|
||||
{
|
||||
f(3);
|
||||
}
|
Loading…
Reference in New Issue
Block a user