Merge pull request #1177 from bjjwwang/0821

fix a bug in computeConstantOffset
SVF-tools · Aug 28, 2023 · 1c73bab · 1c73bab
2 parents 7c39cf4 + 9f67fe4
commit 1c73bab
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/svf/lib/MemoryModel/AccessPath.cpp b/svf/lib/MemoryModel/AccessPath.cpp
@@ -141,8 +141,15 @@ APOffset AccessPath::computeConstantOffset() const
         else
         {
             APOffset offset = op->getSExtValue();
-            u32_t flattenOffset = SymbolTableInfo::SymbolInfo()->getFlattenedElemIdx(type, offset);
-            totalConstOffset += flattenOffset;
+            if (offset >= 0)
+            {
+                u32_t flattenOffset =
+                    SymbolTableInfo::SymbolInfo()->getFlattenedElemIdx(type,
+                                                                       offset);
+                totalConstOffset += flattenOffset;
+            }
+            else
+                totalConstOffset += offset;
         }
     }
     return totalConstOffset;