#include <stdint.h>

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

void f ( void )
{
  int32_t j = 0;

L1:
  ++j;

  if ( 10 == j )
  {
    goto L2;      /* Compliant     */
  }

  goto L1;        /* Non-compliant */

L2:
  ++j;
}

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