Es el ejemplo dado:

 uint32_t i = 0U; uint32_t arr[5U] = { 0U }; uint32_t b = arr[i++];

De todos modos, ¿no cumple con las reglas de Misra? ¿Se puede usar el incremento previo y el incremento posterior dentro de la indexación de matrices? La regla 12.1 no me queda clara al respecto.