21-09-2017, 10:11 AM
Guideline 4.6 is a directive rather than a rule. Section 6.1 of the MISRA-C 2012 document says
Both UI_FLOAT_32 and FLOAT32 meet the requirements for directive 4.6, BUT a tool is permitted to have a different interpretation on what constitutes a non-compliance.
Quote:A directive is a guideline for which it is not possible to provide the full description necessary to perform a check for compliance.As a minimum the name should include the size and in the case of integer types it should include the signedness.
...
Static analysis tools may be able to assist in checking compliance with directives but different
tools may place widely different interpretations on what constitutes a non-compliance.
Both UI_FLOAT_32 and FLOAT32 meet the requirements for directive 4.6, BUT a tool is permitted to have a different interpretation on what constitutes a non-compliance.
Posted by and on behalf of the MISRA C Working Group