Is the given example:

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

Anyhow not compliant with any Misra rules? Can one use pre increment and post increment inside of array indexing? Rule 12.1 is not clear to me about that.