Added Settings::stupid flag that can be used to hide checking that generates false positives.

lib/checkbufferoverrun.cpp

@@ -1122,8 +1122,8 @@ void CheckBufferOverrun::checkScope(const Token *tok, const ArrayInfo &arrayInfo
                         {
                             if (!Token::Match(tok2, "%varid% [ %any% ]  = 0 ;", tok->tokAt(2)->varId()))
                             {
-                                // this is currently inconclusive. See TestBufferOverrun::terminateStrncpy3
+                                // this is currently 'stupid'. See TestBufferOverrun::terminateStrncpy3
-                                if (_settings->inconclusive)
+                                if (_settings->stupid)
                                     terminateStrncpyError(tok);
                             }
 

lib/checkclass.cpp

@@ -1118,7 +1118,7 @@ void CheckClass::virtualDestructor()
     // * base class doesn't have virtual destructor
     // * derived class has non-empty destructor
     // * base class is deleted
-    if (!_settings->inconclusive)
+    if (!_settings->stupid)
         return;
 
     createSymbolDatabase();

lib/checkmemoryleak.cpp

@@ -774,7 +774,7 @@ const char * CheckMemoryLeakInFunction::call_func(const Token *tok, std::list<co
             --parlevel;
             if (parlevel < 1)
             {
-                return (eq || _settings->inconclusive) ? 0 : "callfunc";
+                return (eq || _settings->stupid) ? 0 : "callfunc";
             }
         }
 
@@ -2024,7 +2024,7 @@ void CheckMemoryLeakInFunction::simplifycode(Token *tok)
             }
 
             // Remove the "if break|continue ;" that follows "dealloc ; alloc ;"
-            if (! _settings->inconclusive && Token::Match(tok2, "dealloc ; alloc ; if break|continue ;"))
+            if (! _settings->stupid && Token::Match(tok2, "dealloc ; alloc ; if break|continue ;"))
             {
                 tok2 = tok2->tokAt(3);
                 Token::eraseTokens(tok2, tok2->tokAt(3));
@@ -2290,7 +2290,7 @@ void CheckMemoryLeakInFunction::simplifycode(Token *tok)
         }
 
         // If "--all" is given, remove all "callfunc"..
-        if (done && _settings->inconclusive)
+        if (done && _settings->stupid)
         {
             for (Token *tok2 = tok; tok2; tok2 = tok2->next())
             {

lib/checkother.cpp

@@ -354,7 +354,7 @@ void CheckOther::checkRedundantAssignmentInSwitch()
 
 void CheckOther::checkSwitchCaseFallThrough()
 {
-    if (!(_settings->_checkCodingStyle && _settings->inconclusive))
+    if (!(_settings->_checkCodingStyle && _settings->stupid))
         return;
 
     const char switchPattern[] = "switch (";

lib/preprocessor.cpp

@@ -477,7 +477,7 @@ std::string Preprocessor::removeComments(const std::string &str, const std::stri
 
                 // First check for a "fall through" comment match, but only
                 // add a suppression if the next token is 'case' or 'default'
-                if (_settings->_checkCodingStyle && _settings->inconclusive && fallThroughComment)
+                if (_settings->_checkCodingStyle && _settings->stupid && fallThroughComment)
                 {
                     std::string::size_type j = str.find_first_not_of("abcdefghijklmnopqrstuvwxyz", i);
                     std::string tok = str.substr(i, j - i);

lib/settings.cpp

@@ -43,6 +43,7 @@ Settings::Settings()
     _append = "";
     _terminate = false;
     inconclusive = false;
+    stupid = false;
     test_2_pass = false;
     reportProgress = false;
     ifcfg = false;

lib/settings.h

@@ -58,6 +58,13 @@ public:
     /** @brief Inconclusive checks */
     bool inconclusive;
 
+    /**
+     * @brief enables stupid checks that generates false positives because they are not clever enough.
+     * This flag should only be used temporarily by the check until it is fixed.
+     * There is no way to enable this flag from the command line.
+     */
+    bool stupid;
+
     /** @brief Is --style given? */
     bool _checkCodingStyle;
 

test/testbufferoverrun.cpp

@@ -36,13 +36,13 @@ private:
 
 
 
-    void check(const char code[], bool inconclusive = true)
+    void check(const char code[], bool stupid = true)
     {
         // Clear the error buffer..
         errout.str("");
 
         Settings settings;
-        settings.inconclusive = inconclusive;
+        settings.stupid = stupid;
         settings._checkCodingStyle = true;
 
         // Tokenize..

test/testclass.cpp

@@ -1382,7 +1382,7 @@ private:
         errout.str("");
 
         Settings settings;
-        settings.inconclusive = true;
+        settings.stupid = true;
 
         // Tokenize..
         Tokenizer tokenizer(&settings, this);

test/testmemleak.cpp

@@ -127,13 +127,13 @@ public:
     { }
 
 private:
-    void check(const char code[], bool inconclusive = false)
+    void check(const char code[], bool stupid = false)
     {
         // Clear the error buffer..
         errout.str("");
 
         Settings settings;
-        settings.inconclusive = inconclusive;
+        settings.stupid = stupid;
 
         // Tokenize..
         Tokenizer tokenizer(&settings, this);
@@ -2994,7 +2994,7 @@ private:
         errout.str("");
 
         Settings settings;
-        settings.inconclusive = true;
+        settings.stupid = true;
 
         // Tokenize..
         Tokenizer tokenizer(&settings, this);
@@ -3707,7 +3707,6 @@ private:
     /**
      * Tokenize and execute leak check for given code
      * @param code Source code
-     * @param inconclusive inconclusive checking
      */
     void check(const char code[])
     {

test/testother.cpp

@@ -193,7 +193,7 @@ private:
 
         Settings settings;
         settings._checkCodingStyle = true;
-        settings.inconclusive = true;
+        settings.stupid = true;
 
         // Preprocess file..
         Preprocessor preprocessor(&settings, this);