pos

danmar · danmar · commit 7ab2d0cffdd2 · 2026-01-30T11:03:06.000+01:00
diff --git a/lib/suppressions.cpp b/lib/suppressions.cpp
@@ -759,7 +759,6 @@ std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::stri
             if (pos >= comment.size())
                 break;
             extraComment = comment.substr(p1, pos-p1);
-            pos = comment.find("polyspace", pos + 1);
         }
 
         for (const std::string& errorId: ids) {
@@ -785,6 +784,10 @@ std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::stri
 
             ret.emplace_back(suppr);
         }
+
+        // proceed to next "polyspace" if it exists
+        if (pos < comment.size())
+            pos = comment.find("polyspace", pos);
     }
 
     return ret;

Original file line number	Diff line number	Diff line change
`@@ -759,7 +759,6 @@ std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::stri`
`759`	`759`	`if (pos >= comment.size())`
`760`	`760`	`break;`
`761`	`761`	`extraComment = comment.substr(p1, pos-p1);`
`762`		`- pos = comment.find("polyspace", pos + 1);`
`763`	`762`	`}`
`764`	`763`
`765`	`764`	`for (const std::string& errorId: ids) {`
`@@ -785,6 +784,10 @@ std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::stri`
`785`	`784`
`786`	`785`	`ret.emplace_back(suppr);`
`787`	`786`	`}`
	`787`	`+`
	`788`	`+ // proceed to next "polyspace" if it exists`
	`789`	`+ if (pos < comment.size())`
	`790`	`+ pos = comment.find("polyspace", pos);`
`788`	`791`	`}`
`789`	`792`
`790`	`793`	`return ret;`