Dlaczego gcc -Wformat nie ostrzega o printf% d na unsigned int?

Question

Poniższy program jest niezdefiniowane zachowanie:

#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 stany% d oczekuje int argument.

C99 7.19.6.1p9 stwierdza: „Jeśli argument nie jest prawidłowy typ dla odpowiednią specyfikacją konwersji, zachowanie jest niezdefiniowane ”.

Jednak gcc -Wformat (który jest dołączony -Wall) nie będzie narzekać powyższego programu, dlaczego? Czy to błąd, czy celowe zaniedbanie?

Z podręcznika gcc:

-Wformat 

Sprawdź nazywa się "printf" i "scanf" itp, aby upewnić się, że argumenty przekazane do odpowiednich rodzajów mieć ciąg formacie określonym, a konwersje wymienione w formacie ciąg ma sens

Answer 1

Moim zdaniem domyślnym jest to, że ostrzeżenie jest pomijane, ponieważ UB jest prawdopodobnie wywoływane przez wartość o wartości, a nie tylko przez typ. va_arg umożliwia sygnaturę niezgodności, o ile wartość jest reprezentowalna zarówno dla typu podpisanego, jak i niepodpisanego. Jednakże, printf i przyjaciele nie są określone w kategoriach va_arg, a standard stwierdza, że ​​wszelkie niezgodności typów powodują UB, ale jest to prawdopodobnie błąd w standardzie. W przeciwnym razie, printf("%x",1); może wywołać UB. Zobacz moje pytanie na temat:

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