Merge pull request #990 from bjjwwang/01.05

fix bugs at getVAddrs() empty
SVF-tools · Jan 7, 2023 · 50c0820 · 50c0820
2 parents 8fd6a01 + f259cc9
commit 50c0820
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
@@ -550,8 +550,14 @@ void SVFIR2ItvExeState::translateLoad(const LoadStmt *load)
     {
         VAddrs &addrs = getVAddrs(rhs);
         assert(!getVAddrs(rhs).empty());
-        _es[lhs] = IntervalValue::bottom();
-        getVAddrs(lhs).setBottom();
+        for (const auto &addr: addrs) {
+            u32_t objId = getInternalID(addr);
+            if (inLocToIValTable(objId))
+                _es[lhs] = IntervalValue::bottom();
+            else if (inLocToAddrsTable(objId))
+                getVAddrs(lhs).setBottom();
+            break;
+        }
         for (const auto &addr: addrs)
         {
             u32_t objId = getInternalID(addr);