Che cosa dice lo standard C sul bit-shifting di più bit rispetto alla larghezza del tipo?

Question

Si consideri il seguente codice:

int i = 3 << 65; 

mi aspetterei che il risultato è i==0, tuttavia il risultato effettivo è i==6. Con alcuni test ho scoperto che con il seguente codice:

int i, s; 
int a = i << s; 
int b = i << (s & 31); 

i valori di a e b sono sempre gli stessi.

Lo standard C dice qualcosa sullo spostamento di oltre 32 bit (la larghezza del tipo int) o è un comportamento non specificato?

Answer 1

Dal mio progetto WG12/N1124 (non lo standard, ma abbastanza buono per me), c'è il seguente blocco in 6.5.7 bit a bit operatori di spostamento:

Se il valore del diritto l'operando è negativo o è maggiore o uguale alla larghezza dell'operando sinistro promosso, il comportamento non è definito.

Quindi, undefined. Stai attento.