#include <stdint.h>

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

int32_t glbA[ ] = { 1, 2, 3, 4, 5 };

void f ( int32_t A[ 4 ] )
{
  /* Non-compliant */
  uint32_t numElements = sizeof ( A ) / sizeof ( int32_t );

  /* Compliant */
  uint32_t numElements_glbA = sizeof ( glbA ) / sizeof ( glbA[ 0 ] );
}

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