PR c/3325

	* c-decl.c (enum_decl_context): Remove BITFIELD.
	(grokdeclarator): Take bitfield width as an input.
	Ensure bitfields are given the correct type.  Perform
	bitfield width validation with build_bitfield_integer_type
	rather than waiting for finish_struct.
	(grok_typename, grok_typename_in_parm_context, start_decl,
	push_parmdecl, grokfield, start_function): Update calls to
	grokdeclarator.
	(build_bitfield_integer_type): New function.
	(finish_struct): Move bitfield validation to grokdeclarator
	and build_bitfield_integer_type.
	* tree.c (build_nonstandard_integer_type): New function.
	* tree.h (build_nonstandard_integer_type): New prototype.
objc:
	* objc-act.c (objc_copy_list): Remove DECL_INITIAL kludge.
testsuite:
	* gcc.c-torture/compile/20000224-1.c: Update.
	* gcc.c-torture/execute/bitfld-1.c: New tests.
	* gcc.dg/bitfld-1.c, bitfld-2.c: Diagnostic tests.
	* gcc.dg/uninit-A.c: Update.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@49321 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 30 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/bitfld-1.c b/gcc/testsuite/gcc.dg/bitfld-1.c
new file mode 100644
index 00000000000..ce37cc4e2e6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/bitfld-1.c
@@ -0,0 +1,30 @@
+/* Copyright (C) 2002 Free Software Foundation, Inc.
+
+   Tests various diagnostics about a bit-field's type and width.
+
+   Source: Neil Booth, 26 Jan 2002.
+*/
+
+/* { dg-options -pedantic } */
+
+enum foo {e1 = 0, e2, e3, e4, e5};
+
+int x;
+typedef unsigned int ui;
+
+struct bf1
+{
+  unsigned int a: 3.5;		/* { dg-error "integer constant" } */
+  unsigned int b: x;		/* { dg-error "integer constant" } */
+  unsigned int c: -1;		/* { dg-error "negative width" } */
+  unsigned int d: 0;		/* { dg-error "zero width" } */
+  unsigned int : 0;		/* { dg-bogus "zero width" } */
+  unsigned int : 5;
+  double e: 1;			/* { dg-error "invalid type" } */
+  float f: 1;			/* { dg-error "invalid type" } */
+  unsigned long g: 5;		/* { dg-warning "GCC extension" } */
+  ui h: 5;
+  enum foo i: 2;		/* { dg-error "narrower" } */
+  enum foo j: 3;
+  unsigned int k: 256;		/* { dg-error "exceeds its type" } */
+};