Update vf_analyzers.cpp

chrchr-github · web-flow · commit 45692951056e · 2026-04-23T13:34:10.000+02:00
diff --git a/lib/vf_analyzers.cpp b/lib/vf_analyzers.cpp
@@ -675,6 +675,8 @@ struct ValueFlowAnalyzer : Analyzer {
     template<class F>
     std::vector<MathLib::bigint> evaluateInt(const Token* tok, F getProgramMemory) const
     {
+        if (const ValueFlow::Value* v = tok->getKnownValue(ValueFlow::Value::ValueType::INT))
+            return {v->intvalue};
         std::vector<MathLib::bigint> result;
         ProgramMemory pm = getProgramMemory();
         if (Token::Match(tok, "&&|%oror%")) {

Original file line number	Diff line number	Diff line change
`@@ -675,6 +675,8 @@ struct ValueFlowAnalyzer : Analyzer {`
`675`	`675`	`template<class F>`
`676`	`676`	`std::vector<MathLib::bigint> evaluateInt(const Token* tok, F getProgramMemory) const`
`677`	`677`	`{`
	`678`	`+ if (const ValueFlow::Value* v = tok->getKnownValue(ValueFlow::Value::ValueType::INT))`
	`679`	`+ return {v->intvalue};`
`678`	`680`	`std::vector<MathLib::bigint> result;`
`679`	`681`	`ProgramMemory pm = getProgramMemory();`
`680`	`682`	`if (Token::Match(tok, "&&\|%oror%")) {`