Вызывает ли следующий код UB?

Question

Включает ли следующий код UB?

int main(){ 
    volatile int i = 0; 
    volatile int* p = &i; 
    int j = ++i * *p; 
} 

Answer 1

Да что Неопределенное поведение, потому что вы пытаетесь нарушить второе правило ..

Стандарт утверждает, что

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

2) Кроме того, к первому значению следует обращаться только для определения значения, которое необходимо сохранить.

Примечание: Порядок оценки операндов * оператора неопределенные и *p не что иное, как i.

Answer 2

Да - либо ++ i, либо * p (который является i) может быть оценен первым.