From b3b3c959c97d5e7b391520bec2f24302e3a4e4ed Mon Sep 17 00:00:00 2001
From: bjjwwang <bjjwwang@github.com>
Date: Sat, 30 Dec 2023 22:55:16 +1100
Subject: [PATCH] fix rangelimit of intervalvalue, support float/double

---
 svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
index c42326e73..902c93fb9 100644
--- a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
+++ b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
@@ -95,6 +95,13 @@ IntervalValue SVFIR2ItvExeState::getRangeLimitFromType(const SVFType* type)
         }
         return IntervalValue(lb, ub);
     }
+    else if (SVFUtil::isa<SVFOtherType>(type))
+    {
+        // handle other type like float double, set s32_t as the range
+        s64_t ub = static_cast<s64_t>(std::numeric_limits<s32_t>::max());
+        s64_t lb = static_cast<s64_t>(std::numeric_limits<s32_t>::min());
+        return IntervalValue(lb, ub);
+    }
     else
     {
         assert(false && "cannot support");