MISRA.SWITCH.COND.BOOL.2012

A switch-expression shall not have essentially Boolean type.

MISRA C 2012 Rule 16.7: A switch-expression shall not have essentially Boolean type

Category: Required

Analysis: Decidable, Single Translation Unit

Applies to: C90, C99

Rationale

The Standard requires the controlling expression of a switch statement to have an integer type. Since the type that is used to implement Boolean values is an integer, it is possible to have a switch statement controlled by a Boolean expression. In this instance an if-else construct would be more appropriate.

Example

switch ( x == 0 )       /* Non-compliant - essentially Boolean */ 
{                       /* In this case an "if-else" would be more logical */
  case false:
    y = x;
    break;
  default:
    y = z;
    break; 
}