valueflow.cpp: fixed "Improper use of negative value" Coverity warning (danmar#7652)

firewave · web-flow · commit f7da59ed72d6 · 2025-07-08T10:55:50.000+02:00
diff --git a/lib/valueflow.cpp b/lib/valueflow.cpp
@@ -486,7 +486,7 @@ static size_t getAlignOf(const ValueType& vt, const Settings& settings, ValueFlo
         return align == 0 ? 0 : bitCeil(align);
     }
     if (vt.type == ValueType::Type::RECORD && vt.typeScope) {
-        auto accHelper = [&](size_t max, const ValueType& vt2, size_t /*dim*/, size_t /*bits*/) {
+        auto accHelper = [&](size_t max, const ValueType& vt2, size_t /*dim*/, MathLib::bigint /*bits*/) {
             size_t a = getAlignOf(vt2, settings, accuracy, ++maxRecursion);
             return std::max(max, a);
         };

Original file line number	Diff line number	Diff line change
`@@ -486,7 +486,7 @@ static size_t getAlignOf(const ValueType& vt, const Settings& settings, ValueFlo`
`486`	`486`	`return align == 0 ? 0 : bitCeil(align);`
`487`	`487`	`}`
`488`	`488`	`if (vt.type == ValueType::Type::RECORD && vt.typeScope) {`
`489`		`- auto accHelper = [&](size_t max, const ValueType& vt2, size_t /dim/, size_t /bits/) {`
	`489`	`+ auto accHelper = [&](size_t max, const ValueType& vt2, size_t /dim/, MathLib::bigint /bits/) {`
`490`	`490`	`size_t a = getAlignOf(vt2, settings, accuracy, ++maxRecursion);`
`491`	`491`	`return std::max(max, a);`
`492`	`492`	`};`