auto => bool

danmar · danmar · commit 31875b1d5e2f · 2026-01-30T10:15:22.000+01:00
diff --git a/lib/suppressions.cpp b/lib/suppressions.cpp
@@ -651,7 +651,7 @@ std::string SuppressionList::Suppression::toString() const
 
 polyspace::Parser::Parser(const Settings &settings)
 {
-    const auto haveMisraAddon = std::any_of(settings.addonInfos.cbegin(),
+    const bool haveMisraAddon = std::any_of(settings.addonInfos.cbegin(),
                                             settings.addonInfos.cend(),
                                             [] (const AddonInfo &info) {
         return info.name == "misra";

Original file line number	Diff line number	Diff line change
`@@ -651,7 +651,7 @@ std::string SuppressionList::Suppression::toString() const`
`651`	`651`
`652`	`652`	`polyspace::Parser::Parser(const Settings &settings)`
`653`	`653`	`{`
`654`		`- const auto haveMisraAddon = std::any_of(settings.addonInfos.cbegin(),`
	`654`	`+ const bool haveMisraAddon = std::any_of(settings.addonInfos.cbegin(),`
`655`	`655`	`settings.addonInfos.cend(),`
`656`	`656`	`[] (const AddonInfo &info) {`
`657`	`657`	`return info.name == "misra";`