#include <stdint.h>

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

volatile uint16_t v1;

void f ( void )
{
  uint16_t a[ 2 ] = { v1, 0 };           /* Non-compliant */
}

void g ( uint16_t x, uint16_t y )
{
  uint16_t a[ 2 ] = { x + y, x - y };    /* Compliant     */
}

uint16_t x = 0u;

extern void p ( uint16_t a[ 2 ] );

void h ( void )
{
  p ( ( uint16_t[ 2 ] ) { x++, x++ } );  /* Non-compliant */
}

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