01-04-2015, 11:53 AM
Whether type "bool" is "Boolean by enforcement" will depend on the requirements on your project. Assuming that it is decided that "bool" is to be treated as a boolean, you may then need to configure your tool to recognise the type as "effectively boolean" when the MISRA-C:2004 rules are checked.
Rule 13.2 is not violated if the type is treated as "effectively boolean".
Rule 13.2 is not violated if the type is treated as "effectively boolean".
Posted by and on behalf of the MISRA C Working Group