सी ++ 0x मानक के साथ संगतता स्थिर विश्लेषण कैसे प्राप्त करें?

Question

मैं एक पवन नदी कंपाइलर 4 (जीसीसी (सी) और जी ++ (सी ++) का उपयोग कर रहा हूं) और यह बिना किसी समस्या के मेरी सभी परियोजनाओं को संकलित करता है। अब मुझे अपना कोड देखने के लिए कवरिटी स्टेटिक विश्लेषण का उपयोग करना होगा। मैंने विशिष्ट कंपाइलर्स को कॉन्फ़िगर किया है। सी-कोड (जीसीसी) के लिए वहाँ कोई समस्या नहीं हैं और मैं विश्लेषण चला सकते हैं, लेकिन सी ++ के लिए - कोड (छ ++) मैं त्रुटियों की एक बहुत कुछ मिल गया:

.../c++config.h", line 214: error #40: 
    expected an identifier 
inline namespace __gnu_cxx_ldbl128 { } 
    ^

.../c++config.h", line 214: error #326: 
    inline specifier allowed on function declarations only 
inline namespace __gnu_cxx_ldbl128 { } 
^ 

.../c++config.h", line 214: error #65: 
    expected a ";" 
inline namespace __gnu_cxx_ldbl128 { } 
           ^
.../include/string.h", line 76: error #312: 
    cannot overload functions distinguished by return type alone 
extern __const void *memchr (__const void *__s, int __c, size_t __n) 
        ^

.../include/string.h", line 116: error #312: 
    cannot overload functions distinguished by return type alone 
extern "C++" __const void *memchr (__const void *__s, int __c, size_t __n) 
        ^

यह कुछ सी होने लगते हैं ++ इनलाइन नेमस्पेस जैसी 11 विशिष्ट विशेषताएं लेकिन कोड इन सुविधाओं का उपयोग नहीं करता है। त्रुटियों के ऊपर एक HelloWorld-कोड के साथ उत्पादित कर रहे हैं:

#include "stdio.h" 
#include "util.h" 
#include <string> 
#include "string.h" 

using namespace std; 

int main() 
{ 
    printf("Hello World, C++ version: %d.%d.%d\r\n",__GNUC__,__GNUC_MINOR__,__GNUC_PATCHLEVEL__); 

    return 0; 
} 

मैं जी ++ विकल्प

-std=c++98 

साथ C++ मानक स्थापित करने की कोशिश की, लेकिन परिणाम बदल नहीं करता है।

टेस्ट कोड एक बड़ा निर्माण पदानुक्रम में है, लेकिन Coverity के लिए चरणों का इस तरह हैं:

1. लक्ष्य और env सेट (विंड नदी 4 लिनक्स)
2. स्वच्छ
3. cov कॉन्फ़िगर कर सही साथ संकलक निर्देशिका और प्रकार के साथ
4. cov-निर्माण "सभी कर" कमांड कि अकेले काम करता
5. cov-विश्लेषण
6. अगर (no_error) cov-कॉम यह दोष

मैं भी Coverity कॉन्फ़िगर किया है cov-निर्माण (--ppp-translator replace/inline namespace/namespace) के दौरान "नाम स्थान" के साथ सभी "इनलाइन नाम स्थान" की जगह। इनलाइन त्रुटियों गायब हो गईं लेकिन यह अधिक अधिभार त्रुटियों का उत्पादन करती है और कोई सफल निर्माण नहीं करती है। "सी ++" को उसी तरह से हटाने की भी कोशिश की लेकिन काम नहीं किया हमेशा और अधिक त्रुटियां होती हैं।

क्या किसी को पता है कि यहां समस्या क्या है? और मैं बिना किसी त्रुटि के कवरेज कैसे प्राप्त कर सकता हूं? हो सकता है कि मैं सी ++ मानक शीर्षलेखों को अनदेखा करने के लिए कवरिटी को कॉन्फ़िगर कर सकता हूं लेकिन अब मैं कैसे नहीं?

Answer 1

वर्कअराउंड Coverity समर्थन द्वारा:

इनलाइन नाम स्थान Coverity में एक ज्ञात बग है। यह बायपास करने के लिए, निम्न अतिरिक्त विकल्प (कॉन्फ़िग फ़ाइल में) के साथ Coverity कॉन्फ़िगर करें:

<begin_command_line_config></begin_command_line_config> 
    <add-arg>--ppp_translator</add_arg> 
    <add_arg>replace/inline namespace ([_a-zA-Z0-9]*)\s+\{\s*\}/namespace $1 { } using namespace $1;</add_arg> 
</options> 

उसके बाद हम कुछ अन्य त्रुटियों मिला लेकिन वे स्ट्रिंग परिभाषाओं करने के लिए सभी संबंधित लग रहे हैं। अब एक Coverity coverity-संकलक compat.h (भी config निर्देशिका में) की शुरुआत में परिभाषित जोड़ें:

#define __COVERITY_NO_STRING_NODEFS__ 

इन परिवर्तनों cov-निर्माण त्रुटियों के बिना चलने के बाद और विश्लेषण शुरू कर दिया जा सकता है।

Answer 2

यह त्रुटि यह काफी स्पष्ट रूप से कहते हैं:

इनलाइन विनिर्देशक समारोह घोषणाओं पर अनुमति केवल

एक कारण नाम स्थान inline है है? जबकि मेरे पास विनिर्देश उपलब्ध नहीं है, इसलिए मैं आपको यह नहीं बता सकता कि इसकी अनुमति है या नहीं। (कि संकलक जीसीसी में यह एक बग हो सकता है।)

inline को हटाने का प्रयास करें और कवरिता उम्मीद से खुश होगी।

ऐसा लगता है कि कवरेज को कुछ सी ++ 11 सुविधाओं, जैसे इनलाइन नेमस्पेस के साथ अपडेट नहीं किया गया है।

Answer 3

आपकी लाइब्रेरी कार्यान्वयन सी ++ 11 का उपयोग कर रही है। संभवतः #ifdefs है जो सभी सी ++ 11 सामान को हटाते हैं जब आप -std=c++98 के साथ g ++ कॉल करते हैं लेकिन ऐसा लगता है कि हालांकि कवरिटी जी ++ के साथ एकीकृत है, यह सी ++ 11 सुविधाओं से बचने के लिए आवश्यक चीजों को परिभाषित नहीं कर रहा है।

आपको पता होना चाहिए कि जीसी उस सी ++ 11 कोड के आसपास किस मैक्रोज़ का उपयोग करता है और फिर यह सुनिश्चित कर लें कि कवरेज आपके प्रोजेक्ट का विश्लेषण करते समय उचित रूप से उन्हें परिभाषित कर रहा है।