07-04-2009, 02:21 PM
It is legitimate to "silence the checker" provided that this is covered by an appropriate deviation as defined in section 4.3.2 of the MISRA-C:2004 Guidelines. It may also be necessary to silence a checker when it delivers a false positive.
It is not legitimate to silence a checker simply to save time and / or effort during development.
Section 4.4 of the Guidelines requires that all the C code in a product shall either be compliant with the rules or be subject to documented deviations.
It is not legitimate to silence a checker simply to save time and / or effort during development.
Section 4.4 of the Guidelines requires that all the C code in a product shall either be compliant with the rules or be subject to documented deviations.
Posted by and on behalf of the MISRA C Working Group