¿Qué dice el estándar C sobre el cambio de bits más bits que el ancho de tipo?

Question

Considere el siguiente código:

int i = 3 << 65; 

yo esperaría que el resultado es i==0, sin embargo, el resultado real es i==6. Con algunas pruebas he encontrado que con el siguiente código:

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

los valores de a y b son siempre los mismos.

¿El estándar C dice algo sobre el desplazamiento de más de 32 bits (el ancho del tipo int) o es este comportamiento no especificado?

Answer 1

Desde mi proyecto WG12/N1124 ( no la norma, pero lo suficientemente bueno para mí), está el siguiente bloque en 6.5.7 operadores de desplazamiento en modo bit:

Si el valor de la derecha el operando es negativo o es mayor o igual que el ancho del operando izquierdo promocionado, el comportamiento no está definido.

Por lo tanto, undefined. Ten cuidado.