Будет ли я = i++ вновь хорошо определен в C17?

Сегодня, наткнувшись на вопрос "Почему в этих конструкциях используется неопределенное поведение до и после приращения?", я решил взять новейший черновик для следующего стандарта C, который я смог найти, и прочитать о нем больше.
Вскоре после того, как я обнаружил следующий абзац в черновике C17:

выражение представляет собой последовательность операторов и операндов, которая определяет вычисление значения, или что обозначает объект или функцию, или который генерирует побочные эффекты, или который выполняет комбинацию его. Вычисления значений операндов оператора упорядочиваются перед значением вычисление результата оператора
_{Источник: ISO/IEC 9899: 2017, раздел 6.5 §1" Выражения" (ссылка не работает web.archive.org)}

Теперь я немного растерялся. Не означает ли это, что i = i++ - это определенное поведение? Я посмотрел на другой черновик, C99 на этот раз:

Выражение - это последовательность операторов и операндов, которая задает вычисление значения, или которая обозначает объект или функцию, или которая генерирует побочные эффекты, или которая выполняет их комбинацию.
_{Источник: ISO/IEC 9899: 1999, раздел 6.5 §1" Выражения"}

Это пропущено то самое предложение!

Вопросы

Я что-то не так понял?
Ответы устарели?
Я посмотрел не на тот черновик?

Примечание: этот вопрос связан, но о C++.

Ответ 1

i++ вами отрывок только говорит о том, что выражения i++ и i вычисляются до вычисления полного выражения i = i++. Это все еще неопределенное поведение, потому что i изменяется более одного раза в выражении без точки последовательности.

Этот отрывок впервые появился в C11, поэтому изменений по сравнению с этой версией C17 нет.

Ответ 2

Полная история. В C99 у нас был этот текст для 6.5.16 оператора присваивания:

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

Порядок оценки операндов не указан. Если предпринята попытка изменить результат оператора присваивания или получить к нему доступ после следующей точки последовательности, поведение не определено.

Это было изменено в C11 на:

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

Это просто другая (и хуже) формулировка, две версии ведут себя одинаково - ключ является последним предложением в части C11, которая все еще выполняет это неопределенное поведение, так как вычисление левого операнда все еще не упорядочено по отношению к правому операнду. Вычисление значения относится только к отдельным операндам.

C17 имеет такой же текст, как C11. Таким образом, ответ: нет, i = i++; все еще неопределенное поведение в C17.

Просто для сравнения, сравните это с С++ 11 (5.17):

Во всех случаях присваивание выполняется после вычисления значения правого и левого операндов и до вычисления значения выражения присваивания.

Это примерно тот же текст, что и в C11, без явного "вычисления операндов не секвенированы". Это был недостаток в С++ 11, не ясно, сделало ли это определенные выражения четкими или нет.

С++ 17 дает пояснение (8.5.18):

Во всех случаях присваивание выполняется после вычисления значения правого и левого операндов и до вычисления значения выражения присваивания. Правый операнд упорядочен перед левым операндом.

Итак, в С++ 17 i=i++; определенно четко определены. И, как мы видим, формулировка является явной, в отличие от "непоследовательности" в C11/C17.