gcc -Wformat क्यों एक हस्ताक्षरित int पर printf% d के बारे में चेतावनी नहीं देता है?

Question

निम्नलिखित कार्यक्रम अपरिभाषित है व्यवहार:

#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 राज्यों% d किसी पूर्णांक तर्क की उम्मीद है।

C99 7.19.6.1p9 कहा गया है "किसी भी तर्क इसी रूपांतरण विनिर्देश के लिए सही प्रकार नहीं है, तो व्यवहार अपरिभाषित है।"

हालांकि, जीसीसी -Wformat (जो -Wall के साथ शामिल है) के ऊपर कार्यक्रम, क्यों के बारे में शिकायत नहीं होगा? क्या यह एक बग है, या एक जानबूझकर चूक?

जीसीसी मैनपेज से:

-Wformat 

चेक "printf" और "scanf", आदि के लिए, सुनिश्चित करें कि तर्क की आपूर्ति की प्रारूप स्ट्रिंग के लिए उपयुक्त प्रकार निर्दिष्ट करने के लिए कहता है, और है कि रूपांतरण स्वरूप में निर्दिष्ट स्ट्रिंग समझ

Answer 1

मेरा सबसे अच्छा अनुमान यह है कि चेतावनी छोड़ दी गई है क्योंकि यूबी को मूल्य द्वारा तर्कसंगत रूप से लागू किया गया है और न केवल इस प्रकार से। va_arg हस्ताक्षर को तब तक मेल नहीं कर सकता जब तक कि मूल्य हस्ताक्षरित और हस्ताक्षरित दोनों प्रकारों में प्रतिनिधित्व योग्य न हो। हालांकि, printf और दोस्तों को va_arg के संदर्भ में निर्दिष्ट नहीं किया गया है और मानक राज्यों में यूबी में किसी प्रकार का मेल नहीं खाता है, लेकिन यह शायद मानक में एक बग है। अन्यथा, printf("%x",1); यूबी का आह्वान करेगा। विषय पर मेरे सवाल देखें:

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