Il seguente codice richiama UB?

Question

Il seguente codice richiama UB?

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

Answer 1

sì che è indefinito Comportamento perché si sta tentando di violare la seconda regola ..

Lo standard prevede che

1) Tra il precedente e il successivo punto di sequenza di un oggetto ha la propria valore memorizzato modificato al massimo una volta dalla valutazione di un'espressione.

2) Inoltre, è possibile accedere al valore precedente solo per determinare il valore da memorizzare.

Nota: L'ordine di valutazione degli operandi di * operatore specificato e *p non è altro che i.

Answer 2

Sì - o ++ I o * p (che sono io) può essere valutato prima.