Порядок оценки языка C

x+=x*=x имеет неопределенное поведение, потому что x назначается дважды между точками последовательности.

Текст, соответствующий 14) в C11, C17 говорит

Составное присваивание формы E1 op = E2 эквивалентно простому выражению присваивания E1 = E1 op (E2), за исключением того, что lvalue E1 оценивается только один раз, а в отношении вызова функции с неопределенной последовательностью операций составное присвоение - это единственная оценка.

Я считаю, что это означает, что

int x = 0;

int foo(void) {
    x = 5;
    return x;
}

int main(void) {
    int y = foo() + (x += 2); 
}

будет иметь либо поведение

int main(void) {
    int _tmp = x += 2;
    int y = foo() + _tmp; 
}

or

int main(void) {
    int _tmp = foo();
    int y = _tmp + (x += 2); 
}

и не может быть разделен, например, на

int main(void) {
    int _tmp = x;
    int _tmp2 = foo();
    x = _tmp + 2;
    int y = _tmp2 + x; 
}

Обратите внимание, что эта гарантия является новой для C11 и отсутствует в C89, C99.

1) Да.

C17 6.5.16 Операторы присваивания, §3

Вычисления операндов не упорядочены.

Что делает его UB из-за C17 6.5 §2

Если побочный эффект для скалярного объекта не упорядочен относительно другого побочного эффекта для того же скалярного объекта или вычисления значения с использованием значения того же скалярного объекта, поведение не определено.

Каждое задание - это побочный эффект. У C99 было то же правило, но его было намного легче понять:

C99 6.5 §2

Между предыдущей и следующей точкой последовательности объект должен иметь свое сохраненное значение, измененное не более одного раза при оценке выражения. Кроме того, предыдущее значение должно быть прочитано только для определения значения, которое будет сохранено.

2) Весь текст с изменениями последовательности C11 довольно запутан для чтения. Они используют термины, которые нигде официально не определены, такие как «единичная оценка».

Нормативный текст: C17 6.5.15.2 §3.

Составное присваивание формы E1 op = E2 эквивалентно простому выражению присваивания E1 = E1 op (E2), за исключением того, что lvalue E1 оценивается только один раз, а в отношении вызова функции с неопределенной последовательностью операций составное присвоение - это единственная оценка.

Я полагаю, что это просто означает, что такая операция, как int x; ... x += 1, должна привести к машинному коду, например:

• Сохранить 1 в регистре
• Добавьте x для регистрации
• Записать регистр в x

В противном случае предположим, что что-то получает последовательности между этими операциями, которые обновляют x. Но составное присваивание не является атомарным, поэтому я не совсем понимаю, что здесь за стандартом.