Update vf_analyzers.cpp

chrchr-github · web-flow · commit 3f15b8e892e3 · 2026-04-23T12:34:44.000+02:00
diff --git a/lib/vf_analyzers.cpp b/lib/vf_analyzers.cpp
@@ -675,8 +675,6 @@ 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 {static_cast<int>(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,8 +675,6 @@ 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 {static_cast<int>(v->intvalue)};`
`680`	`678`	`std::vector<MathLib::bigint> result;`
`681`	`679`	`ProgramMemory pm = getProgramMemory();`
`682`	`680`	`if (Token::Match(tok, "&&\|%oror%")) {`