Я читал K & R и наткнулся на этот пример о неопределенности в поведении, оценивая выражение какa[i]=i++; Спецификация C99 в $ 6.5.2 говорит, что

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

Приведенный выше пример из K & R подходит для первого утверждения. Пожалуйста, объясните, как это терпит неудачу на втором.

Стандарт говорит что-нибудь о порядке вычисления подвыражений в случае задействования точек последовательности. Например.a[i++] || b[i++], Я знаю, что они оцениваются слева направо, но как это можно получить из приведенного выше утверждения или это где-то явно указано в стандарте?