From aae31c131b0d69f4c30b2f452482ba74e497fc6e Mon Sep 17 00:00:00 2001
From: Paul <pfultz2@yahoo.com>
Date: Sat, 4 Sep 2021 19:02:07 -0500
Subject: [PATCH] Fix 10460: FP knownConditionTrueFalse 'fabs(x)<1/(double)16'
 is always false

---
 lib/valueflow.cpp      | 7 +++++++
 test/testvalueflow.cpp | 2 ++
 2 files changed, 9 insertions(+)

diff --git a/lib/valueflow.cpp b/lib/valueflow.cpp
index 96793402b6c..62f62596fa2 100644
--- a/lib/valueflow.cpp
+++ b/lib/valueflow.cpp
@@ -945,6 +945,13 @@ static void setTokenValueCast(Token *parent, const ValueType &valueType, const V
         setTokenValue(parent, castValue(value, valueType.sign, settings->long_bit), settings);
     else if (valueType.type == ValueType::Type::LONGLONG)
         setTokenValue(parent, castValue(value, valueType.sign, settings->long_long_bit), settings);
+    else if (valueType.isFloat()) {
+        ValueFlow::Value floatValue = value;
+        floatValue.valueType = ValueFlow::Value::ValueType::FLOAT;
+        if (value.isIntValue())
+            floatValue.floatValue = value.intvalue;
+        setTokenValue(parent, floatValue, settings);
+    }
     else if (value.isIntValue()) {
         const long long charMax = settings->signedCharMax();
         const long long charMin = settings->signedCharMin();
diff --git a/test/testvalueflow.cpp b/test/testvalueflow.cpp
index 38a486cd20d..af4f239b65d 100644
--- a/test/testvalueflow.cpp
+++ b/test/testvalueflow.cpp
@@ -519,6 +519,8 @@ class TestValueFlow : public TestFixture {
         ASSERT_EQUALS((int)('\n'), valueOfTok("x='\\n';", "'\\n'").intvalue);
         TODO_ASSERT_EQUALS(
             0xFFFFFFFF00000000, -1, valueOfTok("x=0xFFFFFFFF00000000;", "0xFFFFFFFF00000000").intvalue); // #7701
+        ASSERT_EQUALS_DOUBLE(16, valueOfTok("x=(double)16;", "(").floatValue, 1e-5);
+        ASSERT_EQUALS_DOUBLE(0.0625, valueOfTok("x=1/(double)16;", "/").floatValue, 1e-5);
 
         // scope
         {