5. Entonces, dado    a[i] = i++;  no sabemos en que elemento del array a[] se escribirá, pero i no se incrementa en uno.

No. Una vez que una expresión o programa se hace indefinido, todos los aspectos relacionados con él se hacen indefinidos.