// Example code from MISRA C:2012 begin
/* Non-compliant */
int a1[ ] = { [ 0 ] = 1 };

/* Compliant */
int a2[ 10 ] = { [ 0 ] = 1 };
// Example code from MISRA C:2012 end