diff options
| author | Joseph Myers <jsm@polyomino.org.uk> | 2004-07-08 09:45:05 +0100 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2004-07-08 09:45:05 +0100 |
| commit | bc15d0efe4230e2f3636dc5255c331232211fb44 (patch) | |
| tree | 69763a66482d42b14599835106ea027f80e7499e /gcc/langhooks.h | |
| parent | 942e59391c7a8ff8d57439229877257eb62b2eb0 (diff) | |
| download | gcc-bc15d0efe4230e2f3636dc5255c331232211fb44.tar.gz | |
re PR c/2511 (-pedantic not warning about bitfield overflow)
2004-07-08 Joseph S. Myers <jsm@polyomino.org.uk>
Neil Booth <neil@daikokuya.co.uk>
PR c/2511
PR c/3325
* c-decl.c (finish_struct): Ensure bit-fields are given the
correct type.
* c-common.c (c_common_signed_or_unsigned_type): For C, require
the precision to match as well as the mode.
* expr.c (reduce_to_bit_field_precision): New function.
(expand_expr_real_1): Reduce expressions of bit-field type to
proper precision.
* langhooks.h (reduce_bit_field_operations): New hook.
* langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS):
Define.
* c-lang.c, objc/objc-lang.c
(LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define.
* objc/objc-act.c (check_ivars): Convert types to bit-field types
before checking.
* tree.c (build_nonstandard_integer_type): New function.
* tree.h (build_nonstandard_integer_type): New prototype.
* tree-ssa.c (tree_ssa_useless_type_conversion_1): Don't treat
conversions between integer and boolean types as useless.
testsuite:
* gcc.c-torture/execute/bitfld-1.x: Remove.
* gcc.c-torture/execute/bitfld-3.c: New test.
* gcc.dg/bitfld-2.c: Remove XFAILs.
Co-Authored-By: Neil Booth <neil@daikokuya.co.uk>
From-SVN: r84279
Diffstat (limited to 'gcc/langhooks.h')
| -rw-r--r-- | gcc/langhooks.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/langhooks.h b/gcc/langhooks.h index fb36a144b84..4400aa3dc6f 100644 --- a/gcc/langhooks.h +++ b/gcc/langhooks.h @@ -347,6 +347,10 @@ struct lang_hooks optimizations, for instance in fold_truthop(). */ bool (*can_use_bit_fields_p) (void); + /* Nonzero if operations on types narrower than their mode should + have their results reduced to the precision of the type. */ + bool reduce_bit_field_operations; + /* Nonzero if TYPE_READONLY and TREE_READONLY should always be honored. */ bool honor_readonly; |