+2007-09-20 Joseph Myers <joseph@codesourcery.com>
+
+ * c-decl.c (check_bitfield_type_and_width): Don't allow _Bool
+ bit-fields wider than one bit.
+
2007-09-20 Jakub Jelinek <jakub@redhat.com>
PR debug/33316
&& type_mv != boolean_type_node)
pedwarn ("type of bit-field %qs is a GCC extension", name);
- if (type_mv == boolean_type_node)
- max_width = CHAR_TYPE_SIZE;
- else
- max_width = TYPE_PRECISION (*type);
+ max_width = TYPE_PRECISION (*type);
if (0 < compare_tree_int (*width, max_width))
{
+2007-09-20 Joseph Myers <joseph@codesourcery.com>
+
+ * gcc.dg/c99-bool-2.c, gcc.dg/c99-bool-3.c: New tests.
+
2007-09-20 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
PR fortran/33221
struct foo
{
_Bool a : 1;
- _Bool b : 2;
- _Bool c : 7;
} sf;
#define str(x) xstr(x)
sf.a = 1;
if (sf.a != 1)
abort ();
- sf.b = 1;
- if (sf.b != 1)
- abort ();
- sf.c = 1;
- if (sf.c != 1)
- abort ();
sf.a = 0;
if (sf.a != 0)
abort ();
- sf.b = 0;
- if (sf.b != 0)
- abort ();
- sf.c = 0;
- if (sf.c != 0)
- abort ();
}
exit (0);
}
--- /dev/null
+/* Test for _Bool bit-fields. After TC2, the width of a _Bool
+ bit-field must not extend the width (number of sign and value bits)
+ of _Bool, which is implementation-defined but is 1 unless the
+ implementation defines representations for values greater than 1 in
+ type _Bool and allows for _Bool objects to have such types, which
+ GCC does not. */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
+
+struct foo
+{
+ _Bool b : 2; /* { dg-error "width" } */
+};
--- /dev/null
+/* Test for _Bool bit-fields. They have the semantics of _Bool, at
+ least for now (DR#335 Spring 2007 discussion). */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do run } */
+/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
+struct foo
+{
+ _Bool a : 1;
+} sf;
+
+extern void abort (void);
+extern void exit (int);
+
+int
+main (void)
+{
+ int i;
+ for (i = 0; i < sizeof (struct foo); i++)
+ *((unsigned char *)&sf + i) = (unsigned char) -1;
+ sf.a = 2;
+ if (sf.a != 1)
+ abort ();
+ sf.a = 0;
+ if (sf.a != 0)
+ abort ();
+ sf.a = 0.2;
+ if (sf.a != 1)
+ abort ();
+ sf.a = &sf;
+ if (sf.a != 1)
+ abort ();
+ exit (0);
+}