Fix

web-flow · web-flow · commit f097cab620d8 · 2025-10-16T21:41:23.000+02:00
diff --git a/lib/checkcondition.cpp b/lib/checkcondition.cpp
@@ -1986,7 +1986,7 @@ void CheckCondition::checkCompareValueOutOfTypeRange()
                 default:
                     break;
                 }
-                if (bits == 0 || bits >= 64)
+                if (bits == 0 || bits >= 63)
                     continue;
 
                 const auto typeMinValue = (typeTok->valueType()->sign == ValueType::Sign::UNSIGNED) ? 0 : (-(1LL << (bits-1)));

Original file line number	Diff line number	Diff line change
`@@ -1986,7 +1986,7 @@ void CheckCondition::checkCompareValueOutOfTypeRange()`
`1986`	`1986`	`default:`
`1987`	`1987`	`break;`
`1988`	`1988`	`}`
`1989`		`- if (bits == 0 \|\| bits >= 64)`
	`1989`	`+ if (bits == 0 \|\| bits >= 63)`
`1990`	`1990`	`continue;`
`1991`	`1991`
`1992`	`1992`	`const auto typeMinValue = (typeTok->valueType()->sign == ValueType::Sign::UNSIGNED) ? 0 : (-(1LL << (bits-1)));`