Здравствуйте, Alexey F, Вы писали:

_>>Это правило последовательности выполнения операторов, а последовательность такова:
AF>Ничего подобного Это — undefined behavior, ни порядок выполнения, ни последовательность действий при таком раскладе не определены. Компилятор может вписать вместо этого вызов "format D:". И будет прав...

Это не undefined behavior, это unspecified behavior. И никаких "format D:", у компилятора есть выбор из двух возможностей, сначала выполнить присваивание, затем постинкрементирование или наоборот.