¿Invoca el código siguiente UB?

Question

¿Invoca el siguiente código UB?

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

Answer 1

sí que es un comportamiento indefinido ya que están tratando de violar la segunda regla ..

establece el estándar que

1) entre el anterior y el siguiente punto de la secuencia de un objeto tendrá su valor almacenado modificado como máximo una vez por la evaluación de una expresión.

2) Además, se tendrá acceso al valor anterior solo para determinar el valor que se almacenará.

Nota: El orden de evaluación de los operandos de * operador es no especificado y *p no es más que i.

Answer 2

Sí - ya sea ++ i o * p (que es i) pueden ser evaluadas en primer lugar.