#include <stdint.h>

#define false 0

void example ( void )
{
  int16_t x, y, z;

/* ----------------- Example code from MISRA C:2012 begin ----------------- */

  switch ( x == 0 )  /* Non-compliant */
  {
    case false:
      y = x;
      break;
    default:
      y = z;
      break;
  }

/* ------------------ Example code from MISRA C:2012 end ------------------ */
}