Увеличение по сравнению с точками последовательности

Когда оператор post increment влияет на приращение? Я столкнулся с двумя мнениями:

1) Из http://gd.tuwien.ac.at/languages/c/programming-bbrown/c_015.htm :

POST означает выполнение операции после любой операции присваивания.

2) Ближе домой, ответ на SO (хотя и на C ++) говорит:

… который задерживает приращение до конца выражения (следующая точка последовательности).

Так же работает операция приращения post …

A) дождаться достижения точки последовательности или

B) происходит после оператора присваивания или

C) происходит в любое время до точки последовательности?

Правильная интерпретация C, т. Е. приращение происходит когда-то до следующей точки последовательности, в частности, в стандарте C (C99, 6.5.2.4, 2) сказано следующее:

Побочный эффект обновления сохраненного значения операнда должен происходить между предыдущей и следующей точкой последовательности.

Полная цитата из параграфа:

Результатом оператора postfix ++ является значение операнда. После того, как результат будет получен, значение операнда будет увеличено. (То есть к нему добавляется значение 1 соответствующего типа.) См. Обсуждения аддитивных операторов и составное назначение для информации о ограничениях, типах и преобразованиях и эффектах операций над указателями. Побочный эффект обновления сохраненного значения операнда должен происходить между предыдущей и следующей точкой последовательности.

Операция приращения post всегда возникает перед следующей точкой последовательности независимо от выражения, в котором используется оператор инкремента. См. Эту ссылку для получения дополнительной информации http://en.wikipedia.org/wiki/Sequence_point