From 5c969cb8ca1ba78eb27de9922770ac397c829efc Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Tue, 1 Mar 2016 21:55:23 -0500 Subject: [PATCH] re PR c++/70036 ([concepts] ICE with a dependent sizeof in a concept) PR c++/70036 * parser.c (cp_parser_requires_clause): Call check_for_bare_parameter_packs. From-SVN: r233886 --- gcc/cp/ChangeLog | 4 ++++ gcc/cp/parser.c | 2 ++ gcc/testsuite/g++.dg/concepts/variadic3.C | 8 ++++++++ 3 files changed, 14 insertions(+) create mode 100644 gcc/testsuite/g++.dg/concepts/variadic3.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index e8be35d..f1d51cf 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2016-03-01 Jason Merrill + PR c++/70036 + * parser.c (cp_parser_requires_clause): Call + check_for_bare_parameter_packs. + PR c++/51489 * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT the operands. diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index 53decdc..535052f 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -24206,6 +24206,8 @@ cp_parser_requires_clause (cp_parser *parser) ++processing_template_decl; tree expr = cp_parser_binary_expression (parser, false, false, PREC_NOT_OPERATOR, NULL); + if (check_for_bare_parameter_packs (expr)) + expr = error_mark_node; --processing_template_decl; return expr; } diff --git a/gcc/testsuite/g++.dg/concepts/variadic3.C b/gcc/testsuite/g++.dg/concepts/variadic3.C new file mode 100644 index 0000000..f980e99 --- /dev/null +++ b/gcc/testsuite/g++.dg/concepts/variadic3.C @@ -0,0 +1,8 @@ +// PR c++/70036 +// { dg-do compile { target c++14 } } +// { dg-options "-fconcepts" } + +template concept bool C = true; + +template +void f(T...) requires C; // { dg-error "parameter pack" } -- 2.7.4