fixup-rewrite

ludviggunne · ludviggunne · commit a86606b410a9 · 2026-01-19T17:25:26.000+01:00
diff --git a/lib/suppressions.cpp b/lib/suppressions.cpp
@@ -815,7 +815,7 @@ bool polyspace::Parser::parseAnnotation(polyspace::Annotation &annotation)
         std::string extraComment = nextToken().substr(1);
 
         if (extraComment.size() > 1)
-            extraComment.substr(0, extraComment.size() - 1);
+            extraComment = extraComment.substr(0, extraComment.size() - 1);
 
         annotation.extraComment = extraComment;
     }

Original file line number	Diff line number	Diff line change
`@@ -815,7 +815,7 @@ bool polyspace::Parser::parseAnnotation(polyspace::Annotation &annotation)`
`815`	`815`	`std::string extraComment = nextToken().substr(1);`
`816`	`816`
`817`	`817`	`if (extraComment.size() > 1)`
`818`		`- extraComment.substr(0, extraComment.size() - 1);`
	`818`	`+ extraComment = extraComment.substr(0, extraComment.size() - 1);`
`819`	`819`
`820`	`820`	`annotation.extraComment = extraComment;`
`821`	`821`	`}`