क्लैंग के स्थिर विश्लेषक को ट्रिगर करने के लिए उदाहरण कोड

Question

मैं कोड का एक छोटा लेकिन पूरा स्निपेट देखना चाहता हूं जो क्लैंग के स्थिर विश्लेषक को शिकायत करने का कारण बनता है। मेरी प्रेरणा अधिकतर है कि मैं इसे अपने पीआईसी 32 कोड पर काम करने की कोशिश कर रहा हूं, और मुझे "सभी कोड ठीक है" और "यह वास्तव में कुछ भी नहीं कर रहा है" के बीच अंतर करने का एक तरीका चाहिए। यह आंशिक रूप से जिज्ञासा भी है, क्योंकि मैं खुद को एक साधारण उदाहरण के साथ नहीं आ सकता।

सी 8 9/एएनएसआई या सी 99 ठीक है, और आदर्श रूप में मैं इसे एक साधारण स्मृति रिसाव चुनना चाहता हूं। मेरे उपयोग

clang --analyze test.c 

Answer 1

मैं एक "बग" मेरी कोड में (केवल एक ;-) कि कि द्वारा चलाता है पाया है, और उस -Wall नहीं पहचान पातीं। मैंने इसे नीचे

struct elem { 
    struct elem *prev; 
    struct elem *next; 
}; 

#define ELEM_INITIALIZER(NAME) { .prev = &(NAME), .next = &(NAME), } 

struct head { 
    struct elem header; 
}; 

#define HEAD_INITIALIZER(NAME) { .header = ELEM_INITIALIZER(NAME.header) } 

int main(int argc, char ** argv) { 
    struct head myhead = HEAD_INITIALIZER(myhead); 
} 

यह एक लिंक्ड सूची का अपेक्षाकृत सीधे आगे कार्यान्वयन है, लेकिन यह यहां महत्वपूर्ण नहीं है। परिवर्तनीय myhead शब्द के सामान्य ज्ञान अनुप्रयोग में उपयोग नहीं किया जाता है, लेकिन कंपाइलर के लिए इसका उपयोग प्रारंभकर्ता के अंदर से किया जाता है क्योंकि फ़ील्ड का पता लिया जाता है।

clang सही ढंग से विश्लेषण करती है इस के रूप में

/tmp 11:58 <722>% clang --analyze test-clang.c 
test-clang.c:25:15: warning: Value stored to 'myhead' during its initialization is never read 
    struct head myhead = HEAD_INITIALIZER(myhead); 
      ^  ~~~~~~~~~~~~~~~~~~~~~~~~ 
1 diagnostic generated. 

संपादित करें: मैं एक और एक है कि यह भी पता लगाता ढेर स्मृति प्रसार

char const* myBuggyFunction(void) { 
    return (char[len + 1]){ 0 }; 
} 

यह -Wall साथ gcc, open64 या clang नहीं पहचान पातीं पाया है, लेकिन द्वारा clang--analyze के साथ।