diff options
| author | Jason Merrill <jason@redhat.com> | 2016-03-01 21:55:23 -0500 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2016-03-01 21:55:23 -0500 |
| commit | 5c969cb8ca1ba78eb27de9922770ac397c829efc (patch) | |
| tree | 3613cea7ded29fce0129ef37b6a6d2202592288e | |
| parent | e57b697d63cdcb161c4521ad20555e6729cd5b9c (diff) | |
| download | gcc-5c969cb8ca1ba78eb27de9922770ac397c829efc.zip gcc-5c969cb8ca1ba78eb27de9922770ac397c829efc.tar.gz gcc-5c969cb8ca1ba78eb27de9922770ac397c829efc.tar.bz2 | |
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
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/parser.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/concepts/variadic3.C | 8 |
3 files changed, 14 insertions, 0 deletions
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 <jason@redhat.com> + 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 <class T> concept bool C = true; + +template <class... T> +void f(T...) requires C<T>; // { dg-error "parameter pack" } |