Tại sao gcc -Wformat không cảnh báo về printf% d trên int không dấu? hành vi

Question

Các chương trình sau đây đã không xác định:

#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 bang% d hy vọng một cuộc tranh cãi int.

C99 7.19.6.1p9 khẳng định: "Nếu bất kỳ tranh luận không phải là loại chính xác cho các tương ứng đặc điểm kỹ thuật chuyển đổi, hành vi này là không xác định ."

Tuy nhiên, gcc -Wformat (bao gồm -Wall) sẽ không khiếu nại về chương trình trên, tại sao? Đây có phải là lỗi hay thiếu sót có chủ ý không?

Từ manpage gcc:

-Wformat 

Kiểm tra các cuộc gọi đến và "printf""scanf", vv, để đảm bảo rằng các đối số cung cấp có các loại phù hợp với chuỗi định dạng xác định, và rằng các chuyển đổi theo quy định tại các định dạng string make sense

Answer 1

Đoán tốt nhất của tôi là cảnh báo bị bỏ qua vì UB được cho là được gọi bởi giá trị và không chỉ theo loại. va_arg cho phép ký kết không khớp với điều kiện giá trị được thể hiện trong cả loại đã ký và chưa ký. Tuy nhiên, printf và bạn bè không được chỉ định theo điều khoản của va_arg và các trạng thái tiêu chuẩn rằng bất kỳ loại không phù hợp kết quả trong UB, nhưng điều này có lẽ là một lỗi trong tiêu chuẩn. Nếu không, printf("%x",1); sẽ gọi UB. Xem câu hỏi của tôi về chủ đề này:

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