Main Content

MISRA C:2023 Rule 16.7

A switch-expression shall not have essentially Boolean type

Since R2024a

Description

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.

Check Information

Group: Switch Statements
Category: Required
AGC Category: Advisory

Version History

Introduced in R2024a

See Also

Topics