+- MISRA Discussion Forums (https://forum.misra.org.uk)
+-- Forum: MISRA C (https://forum.misra.org.uk/forumdisplay.php?fid=4)
+--- Forum: General Questions (https://forum.misra.org.uk/forumdisplay.php?fid=27)
+--- Thread: CERT C EXP46-C considered Out of Scope by MISRA C:2012 Addendum 3 (/showthread.php?tid=1414)
CERT C EXP46-C considered Out of Scope by MISRA C:2012 Addendum 3 - jlerch - 06-04-2018
MISRA C:2012 Addendum 3 defines the coverage classification "Out of Scope" as "Aspects of behaviour are out of scope for C99 and are related to C11." Considering this definition, why is EXP46-C classified "Out of Scope"? It seems, there is no dependency of the rule to C11 at all.
I would actually argue that EXP46-C is covered by MISRA C:2012 essential type model explicitly and strong.
Re: CERT C EXP46-C considered Out of Scope by MISRA C:2012 Addendum 3 - misra-c - 24-04-2018
Thank you for bringing this to our attention. The entry for EXP46-C is in error.
You are correct to say that rule EXP46-C "Do not use a bitwise operator with a Boolean-like operand"is covered by MISRA C:2012 rule 10.1 and should be classified as Explicit/Strong.
Re: CERT C EXP46-C considered Out of Scope by MISRA C:2012 Addendum 3 - jlerch - 26-04-2018
Thanks for the re-checking.
Are you planning an updated version of Addendum 3?
Is there a documentation of how MISRA came to their conclusions regarding the coverage decisions in Addendum3? I assume there is, so my question is more whether this is available publicly / on request?