FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR c++/27803 (ICE with invalid bit-field)

Browse source 
PR c++/27803
	* class.c (check_bitfield_decl): Ensure that all bitfields have
	integral type.
	PR c++/27803
	* g++.dg/parse/bitfield1.C: New test.

From-SVN: r114245
This commit is contained in:
Mark Mitchell 2006-05-30 21:25:02 +00:00 • committed by Mark Mitchell
parent c98662e020
commit 606791f698
4 changed files with 34 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/cp/ChangeLog
View file

@ -1,3 +1,9 @@
2006-05-30 Mark Mitchell <mark@codesourcery.com>
PR c++/27803
* class.c (check_bitfield_decl): Ensure that all bitfields have
integral type.
2006-05-29 Kazu Hirata <kazu@codesourcery.com>
* pt.c (convert_nontype_argument): Fix a typo in an error

24
gcc/cp/class.c
View file

@ -2625,21 +2625,25 @@ static void
check_bitfield_decl (tree field)
{
tree type = TREE_TYPE (field);
tree w = NULL_TREE;
tree w;
/* Extract the declared width of the bitfield, which has been
temporarily stashed in DECL_INITIAL. */
w = DECL_INITIAL (field);
gcc_assert (w != NULL_TREE);
/* Remove the bit-field width indicator so that the rest of the
compiler does not treat that value as an initializer. */
DECL_INITIAL (field) = NULL_TREE;
/* Detect invalid bit-field type. */
if (DECL_INITIAL (field)
&& ! INTEGRAL_TYPE_P (TREE_TYPE (field)))
if (!INTEGRAL_TYPE_P (type))
{
error ("bit-field %q+#D with non-integral type", field);
TREE_TYPE (field) = error_mark_node;
w = error_mark_node;
}
/* Detect and ignore out of range field width. */
if (DECL_INITIAL (field))
else
{
w = DECL_INITIAL (field);
/* Avoid the non_lvalue wrapper added by fold for PLUS_EXPRs. */
STRIP_NOPS (w);
@ -2676,10 +2680,6 @@ check_bitfield_decl (tree field)
warning (0, "%q+D is too small to hold all values of %q#T", field, type);
}
/* Remove the bit-field width indicator so that the rest of the
compiler does not treat that value as an initializer. */
DECL_INITIAL (field) = NULL_TREE;
if (w != error_mark_node)
{
DECL_SIZE (field) = convert (bitsizetype, w);

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2006-05-30 Mark Mitchell <mark@codesourcery.com>
PR c++/27803
* g++.dg/parse/bitfield1.C: New test.
2006-05-30 Roger Sayle <roger@eyesopen.com>
* gcc.target/ppc-eq0-1.c: New test case.

11
gcc/testsuite/g++.dg/parse/bitfield1.C Normal file
View file

@ -0,0 +1,11 @@
// PR c++/27803
struct A
{
double i : 8; // { dg-error "type" }
};
void foo(A& a)
{
(char)a.i;
}