Add unmatchedPolyspaceSuppression

Author: ludviggunne

cli/cppcheckexecutor.cpp

@@ -329,7 +329,11 @@ static bool reportUnmatchedSuppressions(const std::list<SuppressionList::Suppres
         if (!s.fileName.empty()) {
             callStack.emplace_back(s.fileName, s.lineNumber, 0);
         }
-        errorLogger.reportErr(::ErrorMessage(std::move(callStack), "", Severity::information, "Unmatched suppression: " + s.errorId, "unmatchedSuppression", Certainty::normal));
+        if (s.isPolyspace) {
+            errorLogger.reportErr(::ErrorMessage(std::move(callStack), "", Severity::information, "Unmatched polyspace suppression: " + s.errorId, "unmatchedPolyspaceSuppression", Certainty::normal));
+        } else {
+            errorLogger.reportErr(::ErrorMessage(std::move(callStack), "", Severity::information, "Unmatched suppression: " + s.errorId, "unmatchedSuppression", Certainty::normal));
+        }
         err = true;
     }
     return err;

lib/suppressions.cpp

@@ -884,6 +884,7 @@ bool polyspace::Suppression::convert(SuppressionList::Suppression &suppr) const
 
     suppr.errorId = it->second + resultName;
     suppr.isInline = true;
+    suppr.isPolyspace = true;
     suppr.fileName = filename;
 
     suppr.lineNumber = lineBegin;

lib/suppressions.h

@@ -160,6 +160,7 @@ class CPPCHECKLIB SuppressionList {
         bool matched{}; /** This suppression was fully matched in an isSuppressed() call */
         bool checked{}; /** This suppression applied to code which was being analyzed but did not match the error in an isSuppressed() call */
         bool isInline{};
+        bool isPolyspace{};
 
         enum : std::int8_t { NO_LINE = -1 };
     };