Single-bit named bit fields shall not be of a signed type
Single-bit named bit fields shall not be of a signed type.
According to the C99 Standard Section 6.2.6.2, a single-bit signed bit-field has one sign bit and no value bits. In any representation of integers, zero value bits cannot specify a meaningful value.
A single-bit signed bit-field is therefore unlikely to behave in a useful way. Its presence is likely to indicate programmer confusion.
Although the C90 Standard does not provide much detail regarding the representation of types, the same single-bit bit-field considerations apply.
This rule does not apply to unnamed bit fields because their values cannot be accessed.
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 |