syntax ref

danmar · danmar · commit 155e929e2aaf · 2026-01-30T13:05:52.000+01:00
diff --git a/lib/suppressions.cpp b/lib/suppressions.cpp
@@ -724,6 +724,9 @@ polyspace::CommentKind polyspace::Parser::parseKind(const std::string& comment,
 
 std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::string &comment, int line, const std::string &filename)
 {
+    // Syntax for a polyspace suppression:
+    // https://se.mathworks.com/help/bugfinder/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html
+
     std::list<SuppressionList::Suppression> ret;
 
     if (mFamilyMap.empty())

Original file line number	Diff line number	Diff line change
`@@ -724,6 +724,9 @@ polyspace::CommentKind polyspace::Parser::parseKind(const std::string& comment,`
`724`	`724`
`725`	`725`	`std::list<SuppressionList::Suppression> polyspace::Parser::parse(const std::string &comment, int line, const std::string &filename)`
`726`	`726`	`{`
	`727`	`+ // Syntax for a polyspace suppression:`
	`728`	`+ // https://se.mathworks.com/help/bugfinder/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html`
	`729`	`+`
`727`	`730`	`std::list<SuppressionList::Suppression> ret;`
`728`	`731`
`729`	`732`	`if (mFamilyMap.empty())`