fix rangelimit of intervalvalue, support float/double

SVF-tools · Dec 30, 2023 · b3b3c95 · b3b3c95
1 parent 27abd75
commit b3b3c95
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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");