That code is correct and there is no chance it will change. In fact, I'm more or less of the opinion that the ship has sailed with respect to making changes to order of evaluation, period.
Nonetheless, the cases that were somewhat in question had to do with things like precisely when the index was computed in an expression like this:
x[x[i]] += x[i]
Here there are some slight inconsistencies between overloaded operators and non-overloaded ones and so forth. But if you're writing "readable code", you'll never notice.
UPDATE: To be clear, that example was from memory, I'd have to go lookup the tricky cases...