In C99 6.5 heißt es:

Zwischen dem vorherigen und dem nächsten Sequenzpunkt muss der gespeicherte Wert eines Objekts durch die Auswertung eines Ausdrucks höchstens einmal geändert werden. Darüber hinaus soll der vorherige Wert nur gelesen werden, um den zu speichernden Wert zu bestimmen

Was bedeutet "Außerdem soll der vorherige Wert nur gelesen werden, um den zu speichernden Wert zu bestimmen"? In C99, waruma[i++] = 1 ist undefiniertes Verhalten?