#include <stdint.h>

void example ( void )
{
  int16_t x, a, b;

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

  switch ( x )
  {
    case 0:
      break;         /* Compliant     */
    case 1:          /* Compliant     */
    case 2:
      break;         /* Compliant     */
    case 4:
      a = b;         /* Non-compliant */
    case 5:
      if ( a == b )
      {
        ++a;
        break;       /* Non-compliant */
      }
    default:
      ;              /* Non-compliant */
  }

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