comment

danmar · danmar · commit 53e28279405b · 2026-01-29T16:53:46.000+01:00
diff --git a/lib/suppressions.cpp b/lib/suppressions.cpp
@@ -771,7 +771,7 @@ std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::stri
             if (pos >= comment.size())
                 break;
             extraComment = comment.substr(p1, pos-p1);
-            pos = comment.find_first_not_of(" \t", pos + 1);
+            pos = comment.find("polyspace", pos + 1);
         }
 
         for (const std::string& errorId: ids) {

Original file line number	Diff line number	Diff line change
`@@ -771,7 +771,7 @@ std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::stri`
`771`	`771`	`if (pos >= comment.size())`
`772`	`772`	`break;`
`773`	`773`	`extraComment = comment.substr(p1, pos-p1);`
`774`		`- pos = comment.find_first_not_of(" \t", pos + 1);`
	`774`	`+ pos = comment.find("polyspace", pos + 1);`
`775`	`775`	`}`
`776`	`776`
`777`	`777`	`for (const std::string& errorId: ids) {`