MISRA C:2012 Rule 16.7

Rule Definition

A switch-expression shall not have essentially Boolean type

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.