Bit-fields shall only be declared with an appropriate type
Bit-fields shall only be declared with an appropriate type.
Using int for a bit-field type is implementation-defined because bit-fields
of type int can be either signed or
unsigned.
The use of enum, short char,
or any other type of bit-field is not permitted in C90 because the
behavior is undefined.
In C99, the implementation can potentially define other integer types that are permitted in bit-field declarations.
The checker flags data types for bit-fields other than these allowed types:
C90: signed int or unsigned int
(or typedef-s that resolve to these types)
C99: signed int, unsigned int or
_Bool (or typedef-s that
resolve to these types)
The results depend on the version of the C standard used in the analysis. See
-c-version in Polyspace® Server documentation.
If you expect a rule violation but do not see it, refer to the documentation of Polyspace Code Prover™ or Polyspace Code Prover Server™.
| Group: Types |
| Category: Required |
| AGC Category: Required |