#include <stdint.h>

typedef _Bool bool_t;

void example ( void )
{
  int16_t x;
  bool_t  flag;

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

  switch ( x )
  {
    case 1:        /* Compliant     */
      if ( flag )
      {
    case 2:        /* Non-compliant */
        x = 1;
      }
      break;
    default:
      break;
  }

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