fixup! fixup! fixup! fixup! fixup! fixup! fixup! Fix #8260 Improve check: Pointer calculation result not null

francois-berder · francois-berder · commit e9c76dd9268f · 2026-06-22T16:06:16.000+02:00
diff --git a/lib/checkcondition.cpp b/lib/checkcondition.cpp
@@ -1182,6 +1182,8 @@ static const Token* getPointerAdditionCalcToken(const Token * const tok)
         for (const ValueFlow::Value& val : op->values()) {
             if (!val.isSymbolicValue())
                 continue;
+            if (!val.isKnown())
+                continue;
             if (isPointerArithmeticAdd(val.tokvalue))
                 return op;
         }

Original file line number	Diff line number	Diff line change
`@@ -1182,6 +1182,8 @@ static const Token* getPointerAdditionCalcToken(const Token * const tok)`
`1182`	`1182`	`for (const ValueFlow::Value& val : op->values()) {`
`1183`	`1183`	`if (!val.isSymbolicValue())`
`1184`	`1184`	`continue;`
	`1185`	`+ if (!val.isKnown())`
	`1186`	`+ continue;`
`1185`	`1187`	`if (isPointerArithmeticAdd(val.tokvalue))`
`1186`	`1188`	`return op;`
`1187`	`1189`	`}`