fixed #14276 - report inline suppressions with invalid error IDs [skip ci]

Author: firewave

lib/preprocessor.cpp

@@ -262,7 +262,10 @@ static void addInlineSuppressions(const simplecpp::TokenList &tokens, const Sett
                             suppr.lineNumber = supprBegin->lineNumber;
                             suppr.type = SuppressionList::Type::block;
                             inlineSuppressionsBlockBegin.erase(supprBegin);
-                            suppressions.addSuppression(std::move(suppr)); // TODO: check result
+                            const int line = suppr.lineNumber;
+                            const std::string errmsg = suppressions.addSuppression(std::move(suppr));
+                            if (!errmsg.empty())
+                                bad.emplace_back(relativeFilename, line, errmsg);
                             throwError = false;
                             break;
                         }
@@ -287,10 +290,18 @@ static void addInlineSuppressions(const simplecpp::TokenList &tokens, const Sett
                 suppr.thisAndNextLine = thisAndNextLine;
                 suppr.lineNumber = tok->location.line;
                 suppr.macroName = macroName;
-                suppressions.addSuppression(std::move(suppr)); // TODO: check result
+                const int line = suppr.lineNumber;
+                const std::string errmsg = suppressions.addSuppression(std::move(suppr));
+                if (!errmsg.empty())
+                    bad.emplace_back(relativeFilename, line, errmsg);
             } else if (SuppressionList::Type::file == suppr.type) {
                 if (onlyComments)
-                    suppressions.addSuppression(std::move(suppr)); // TODO: check result
+                {
+                    const int line = suppr.lineNumber;
+                    const std::string errmsg = suppressions.addSuppression(std::move(suppr));
+                    if (!errmsg.empty())
+                        bad.emplace_back(relativeFilename, line, errmsg);
+                }
                 else
                     bad.emplace_back(suppr.fileName, suppr.lineNumber, "File suppression should be at the top of the file");
             }

test/testsuppressions.cpp

@@ -703,6 +703,19 @@ class TestSuppressions : public TestFixture {
                       "[test.cpp:3:5]: (error) Uninitialized variable: a [uninitvar]\n"
                       "[test.cpp:5:5]: (error) Uninitialized variable: b [uninitvar]\n", errout_str());
 
+        ASSERT_EQUALS(1, (this->*check)("// cppcheck-suppress-file :id0\n"
+                                        "// cppcheck-suppress :id\n"
+                                        "// cppcheck-suppress [:id1,id2]\n"
+                                        "// cppcheck-suppress-begin :id3\n"
+                                        "void f() {}\n"
+                                        "// cppcheck-suppress-end :id3\n",
+                                        ""));
+        ASSERT_EQUALS("[test.cpp:1:0]: (error) Failed to add suppression. Invalid id \":id0\" [preprocessorErrorDirective]\n"
+                      "[test.cpp:5:0]: (error) Failed to add suppression. Invalid id \":id\" [preprocessorErrorDirective]\n" // TODO: should we report the location of the suppression instead?
+                      "[test.cpp:5:0]: (error) Failed to add suppression. Invalid id \":id1\" [preprocessorErrorDirective]\n" // TODO: should we report the location of the suppression instead?
+                      "[test.cpp:4:0]: (error) Failed to add suppression. Invalid id \":id3\" [preprocessorErrorDirective]\n"
+                      "[test.cpp:5:0]: (information) Unmatched suppression: id2 [unmatchedSuppression]\n", errout_str()); // TODO: should we report the location of the suppression instead?
+
         ASSERT_EQUALS(1, (this->*check)("void f() {\n"
                                         "    int a;\n"
                                         "    // cppcheck-suppress-begin uninitvar\n"