mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 19:51:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

c++: Diagnose bare parameter packs in bitfield widths [PR99745]

Browse Source 
The following invalid tests ICE because we don't diagnose (and drop) bare
parameter packs in bitfield widths.

2021-03-25  Jakub Jelinek  <jakub@redhat.com>

	PR c++/99745
	* decl2.c (grokbitfield): Diagnose bitfields containing bare parameter
	packs and don't set DECL_BIT_FIELD_REPRESENTATIVE in that case.

	* g++.dg/cpp0x/variadic181.C: New test.
This commit is contained in:
Jakub Jelinek 2021-03-25 21:06:09 +01:00
parent 9efd72d289
commit 0b86a64381
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/cp/decl2.c
View File

@ -1117,7 +1117,7 @@ grokbitfield (const cp_declarator *declarator,
&& !INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P (TREE_TYPE (width)))
error ("width of bit-field %qD has non-integral type %qT", value,
TREE_TYPE (width));
else
else if (!check_for_bare_parameter_packs (width))
{
/* Temporarily stash the width in DECL_BIT_FIELD_REPRESENTATIVE.
check_bitfield_decl picks it from there later and sets DECL_SIZE

9
gcc/testsuite/g++.dg/cpp0x/variadic181.C Normal file
View File

@ -0,0 +1,9 @@
// PR c++/99745
// { dg-do compile { target c++11 } }
template <typename... Ts>
struct S { int a : sizeof(Ts); }; // { dg-error "parameter packs not expanded with '\.\.\.':" }
S<int> s; // { dg-message "'Ts'" "" { target *-*-* } .-1 }
template <int... Ns>
struct T { int a : Ns; }; // { dg-error "parameter packs not expanded with '\.\.\.':" }
T<0> t; // { dg-message "'Ns'" "" { target *-*-* } .-1 }