Doch, es ist sehr wohl definiert. ++a wird VOR der Zuweisung ausgeführt, a++ danach.

Heißt:

a = ++a + a + a; a = a + 1
=> a = 13 + 13 + 13; a = a + 1
=> a = 39; a = a + 1
=> a = 40