MISRA C:2012 Rule 16.7
A switch-expression shall not have essentially Boolean type
Description
Rule Definition
A switch-expression shall not have essentially Boolean type1
Rationale
The C Standard requires the controlling expression to a switch statement
to have an integer type. Because C implements Boolean values with
integer types, it is possible to have a Boolean expression control
a switch statement. For controlling flow with Boolean
types, an if-else construction
is more appropriate.
Polyspace Implementation
The analysis recognizes the Boolean types, bool or
_Bool (defined in stdbool.h)
You can also define types that are essentially Boolean using the option
Effective boolean
types (-boolean-types).
Troubleshooting
If you expect a rule violation but do not see it, refer to Diagnose Why Coding Standard Violations Do Not Appear as Expected.
Check Information
| Group: Switch Statements |
| Category: Required |
| AGC Category: Advisory |
1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.
The MISRA coding standards referenced in the Polyspace® Bug Finder™ documentation are from the following MISRA standards:
MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023
MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.
