1.4.54. Migration to 7.1.6

1.4.54.1. Stylecheck

Rules checking if appropriate (explicitly signed) types have been used for bitfields (i.e., MisraC2012-6.1, MisraC++-9.6.2, CertC-INT12) can now be configured. A novel option permitted_types allows defining the explicitly signed / unsigned types supported by the implementation.

In accordance with MISRA, the rule now accepts:

• signed int and unsigned int for C90,

• all explicitly signed and explicitly unsigned integer types as well as boolean types for C99 and later, and

• all explicitly signed and explicitly unsigned integer types as well as boolean types for C++.

Please note that the configuration might have to be adapted to the specifics of your implementation. The old behavior of the rules can be restored by permitting all explicitly signed and unsigned integer types and boolean types for C90 again.