diff options
| author | Neil Booth <neil@daikokuya.demon.co.uk> | 2002-01-29 17:19:58 +0000 |
|---|---|---|
| committer | Neil Booth <neil@gcc.gnu.org> | 2002-01-29 17:19:58 +0000 |
| commit | 8469e54e147147ee65ee899b20fd68493af85327 (patch) | |
| tree | 21de1159c8ed89bada613b376351f07531e6dca3 /gcc/testsuite/gcc.dg/bitfld-1.c | |
| parent | 6c54b16cef90d93555a96dc3542fea96b8a4c7fc (diff) | |
| download | gcc-8469e54e147147ee65ee899b20fd68493af85327.zip gcc-8469e54e147147ee65ee899b20fd68493af85327.tar.gz gcc-8469e54e147147ee65ee899b20fd68493af85327.tar.bz2 | |
re PR c/3325 (cast of bit-field to same type gets discarded)
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.
From-SVN: r49321
Diffstat (limited to 'gcc/testsuite/gcc.dg/bitfld-1.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/bitfld-1.c | 30 |
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 0000000..ce37cc4 --- /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" } */ +}; |