Fix FP incorrectStringBooleanError with macro

chrchr-github · Aug 22, 2023 · 272fb64 · 272fb64
1 parent 59c3bd2
commit 272fb64
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 5 deletions.
diff --git a/lib/checkstring.cpp b/lib/checkstring.cpp
@@ -288,7 +288,9 @@ void CheckString::checkIncorrectStringCompare()
                         incorrectStringCompareError(tok->next(), "substr", end->strAt(1));
                     }
                 }
-            } else if (Token::Match(tok, "%str%|%char%") && isUsedAsBool(tok))
+            } else if (Token::Match(tok, "%str%|%char%") &&
+                       !(tok->astParent() && tok->astParent()->isExpandedMacro()) &&
+                       isUsedAsBool(tok))
                 incorrectStringBooleanError(tok, tok->str());
         }
     }

diff --git a/test/teststring.cpp b/test/teststring.cpp
@@ -23,6 +23,8 @@
 #include "fixture.h"
 #include "tokenize.h"
 
+#include <simplecpp.h>
+
 #include <sstream> // IWYU pragma: keep
 
 
@@ -60,15 +62,24 @@ class TestString : public TestFixture {
         TEST_CASE(deadStrcmp);
     }
 
-#define check(...) check_(__FILE__, __LINE__, __VA_ARGS__)
-    void check_(const char* file, int line, const char code[], const char filename[] = "test.cpp") {
+    void check(const char code[], const char filename[] = "test.cpp") {
         // Clear the error buffer..
         errout.str("");
 
+        // Raw tokens..
+        std::vector<std::string> files(1, filename);
+        std::istringstream istr(code);
+        const simplecpp::TokenList tokens1(istr, files, files[0]);
+
+        // Preprocess..
+        simplecpp::TokenList tokens2(files);
+        std::map<std::string, simplecpp::TokenList*> filedata;
+        simplecpp::preprocess(tokens2, tokens1, files, filedata, simplecpp::DUI());
+
         // Tokenize..
         Tokenizer tokenizer(&settings, this);
-        std::istringstream istr(code);
-        ASSERT_LOC(tokenizer.tokenize(istr, filename), file, line);
+        tokenizer.createTokens(std::move(tokens2));
+        tokenizer.simplifyTokens1("");
 
         // Check char variable usage..
         runChecks<CheckString>(tokenizer, this);
@@ -768,6 +779,12 @@ class TestString : public TestFixture {
         ASSERT_EQUALS("[test.cpp:3]: (warning) Conversion of char literal '\\0' to bool always evaluates to false.\n"
                       "[test.cpp:4]: (warning) Conversion of char literal 'a' to bool always evaluates to true.\n",
                       errout.str());
+
+        check("#define ERROR(msg) if (msg) printf(\"%s\\n\", msg);\n"
+              "void f() {\n"
+              "	  ERROR(\"abc\")\n"
+              "}\n");
+        ASSERT_EQUALS("", errout.str());
     }
 
     void deadStrcmp() {