25-01-2011, 05:27 PM
MISRA doesn't offer any guidance on how to control checking tool diagnostic messages. Either of your proposals would work and, as you point out, using the ISTRUE macro has some advantages.
Posted by and on behalf of the MISRA C Working Group