#include <stdint.h>

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

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

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

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

  switch ( z )
  {
    case 1:
      z = 2;
      break;
    default:    /* Compliant     */
      z = 0;
      break;
  }

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