¿Por qué GCC no produce una advertencia al asignar un literal firmado a un tipo sin firmar?

Question

Varias preguntas en este sitio web revelan dificultades al mezclar tipos firmados y no firmados y la mayoría de los compiladores parecen hacer un buen trabajo al generar advertencias de este tipo. Sin embargo, a GCC no parece importarle asignar una constante con signo a un tipo sin signo. Considere el siguiente programa:

/* foo.c */ 
#include <stdio.h> 
int main(void) 
{ 
    unsigned int x=20, y=-30; 
    if (x > y) { 
     printf("%d > %d\n", x, y); 
    } else { 
     printf("%d <= %d\n", x, y); 
    } 
    return 0; 
} 

compilación con GCC 4.2.1 que a continuación no produce ninguna salida en la consola:

gcc -Werror -Wall -Wextra -pedantic foo.c -o foo 

El ejecutable resultante genera el siguiente resultado:

$ ./foo 
20 <= -30 

Es Hay alguna razón por la que GCC no genera ningún mensaje de advertencia o error al asignar el valor con signo -30 a la variable entera sin signo y?

Answer 1

Uso -Wconversion:

~/src> gcc -Wconversion -Werror -Wall -Wextra -pedantic -o signwarn signwarn.c 
cc1: warnings being treated as errors 
signwarn.c: In function 'main': 
signwarn.c:5: error: negative integer implicitly converted to unsigned type 

supongo que la cosa aquí es que gcc es realmente muy bueno en la generación de avisos, pero el valor predeterminado es no hacerlo en los casos (a veces inesperadas). Es una buena idea navegar a través de las advertencias disponibles y elegir un conjunto de opciones que generen las que considere útiles. ¡O solo a todos, y pulir ese código hasta que brille! :)

Answer 2

La capacidad de convertir el valor negativo al tipo sin firmar es una característica del lenguaje C. Por esta razón, la advertencia no se emite por defecto. Tienes que solicitarlo explícitamente, si así lo deseas.

En cuanto a lo que sus productos de los programas ... Usando %d especificador de formato de printf con un valor sin signo que se encuentra fuera del alcance de tipo int resulta en un comportamiento indefinido, que es lo que realmente observado en el experimento.

Answer 3

El uso de (sin signo) -1 es una forma utilizada a menudo para establecer todos los bits e incluso se cita como motivo de esta (mis) característica de C, incluso por personas que deberían saber mejor . No es ni obvio ni portátil: la expresión que desea usar para configurar todos los bits es ~ 0.