Fix #12727 FP knownConditionTrueFalse (wrong range of return values) (#…

…6721)
danmar · Aug 25, 2024 · 04f7a9b · 04f7a9b
1 parent b8005e1
commit 04f7a9b
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/lib/programmemory.cpp b/lib/programmemory.cpp
@@ -602,7 +602,6 @@ static bool isIntegralValue(const ValueFlow::Value& value)
 static ValueFlow::Value evaluate(const std::string& op, const ValueFlow::Value& lhs, const ValueFlow::Value& rhs)
 {
     ValueFlow::Value result;
-    combineValueProperties(lhs, rhs, result);
     if (lhs.isImpossible() && rhs.isImpossible())
         return ValueFlow::Value::unknown();
     if (lhs.isImpossible() || rhs.isImpossible()) {

diff --git a/test/testcondition.cpp b/test/testcondition.cpp
@@ -5108,6 +5108,22 @@ class TestCondition : public TestFixture {
               "    if ((128 + i < 255 ? 128 + i : 255) > 0) {}\n"
               "}\n");
         ASSERT_EQUALS("", errout_str());
+
+        check("struct S {\n" // #12727
+              "    bool f() const {\n"
+              "        return g() > 0;\n"
+              "    }\n"
+              "    std::size_t g() const {\n"
+              "        return 5 - h();\n"
+              "    }\n"
+              "    std::size_t h() const {\n"
+              "        if (x > 7)\n"
+              "            return 5;\n"
+              "        return (5 + x) % 5;\n"
+              "    }\n"
+              "    std::size_t x;\n"
+              "};\n");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void alwaysTrueContainer() {