Merge pull request #1310 from bjjwwang/1230

Fix bugs for big program
SVF-tools · Dec 31, 2023 · 94bc3fb · 94bc3fb
2 parents 01d4ef1 + b3b3c95
commit 94bc3fb
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/svf/include/Util/SVFStat.h b/svf/include/Util/SVFStat.h
@@ -30,6 +30,8 @@
 #ifndef SVF_SVFSTAT_H
 #define SVF_SVFSTAT_H
 
+#include <string>
+
 namespace SVF
 {
 
@@ -41,9 +43,9 @@ class SVFStat
 {
 public:
 
-    typedef OrderedMap<const char *, u32_t> NUMStatMap;
+    typedef OrderedMap<std::string, u32_t> NUMStatMap;
 
-    typedef OrderedMap<const char *, double> TIMEStatMap;
+    typedef OrderedMap<std::string, double> TIMEStatMap;
 
     enum ClockType
     {

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");