Neden gcc -Wformat, imzasız bir int üzerinde printf% d hakkında uyarı yapmıyor?

Question

aşağıdaki program tanımlanmamış olan davranışı:

#include <stdio.h> 

int main(void) 
{ 
    unsigned int x = -100; // This is fine, becomes UINT_MAX - 100 
    printf("%d\n", x); // This is undefined behavior. 
    return 0; 
} 

C99 7.19.6.1p8 durumları% d int bağımsız değişken bekliyor.

bildiren 7.19.6.1p9

C99 "bir bağımsız değişken belirteci karşılık gelen için doğru türde değildir, davranış tanımlanmamış olan".

Ancak ( -Wall ile birlikte) gcc -Wformat neden yukarıdaki programda, şikayet olmaz? Bu bir hata mı, yoksa kasıtlı bir ihmal mi? gcc manpage itibaren

:

-Wformat 

kontrol vb "printf" ve "scanf" için, verilen argümanlar belirtilen format dizesine uygun türde olduğundan emin olmak için çağırır ve bu formatta belirtilen dönüşümler dize anlamlıdır

Answer 1

En iyi tahminim, UB'nin yalnızca değeriyle değil, yalnızca türüne göre uyarıldığı için uyarının atlanmasıdır. va_arg, imzanın hem imzalanmış hem de imzasız türde değeri gösterilebildiği sürece uyumsuzluğa izin verir. Ancak, printf ve arkadaşlar va_arg açısından belirtilmemiş ve standart, herhangi bir tür uyumsuzluğunun UB'ye neden olduğunu belirtir, ancak bu muhtemelen standartta bir hatadır. Aksi takdirde, printf("%x",1); UB'yi çağırırdı. konu üzerine sorumu bakınız:

Does printf("%x",1) invoke undefined behavior?