#include <stdint.h>

void example ( void )
{
/* ----------------- Example code from MISRA C:2012 begin ----------------- */

  volatile int32_t i;
           int32_t j;
           size_t  s;

  s = sizeof ( j );        /* Compliant     */
  s = sizeof ( j++ );      /* Non-compliant */
  s = sizeof ( i );        /* Compliant     */
  s = sizeof ( int32_t );  /* Compliant     */

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

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

volatile uint32_t v;

void f ( int32_t n )
{
  size_t s;

  s = sizeof ( int32_t[ n ] );                        /* Compliant     */
  s = sizeof ( int32_t[ n++ ] );                      /* Non-compliant */
  s = sizeof ( void ( *[ n ] ) ( int32_t a[ v ] ) );  /* Non-compliant */
}

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