Merge pull request #16 from jumormt/main

sync with SVF
SVF-tools · Jun 8, 2023 · 8c93e24 · 8c93e24
2 parents d9e616f + 89009b4
commit 8c93e24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Z3Manager/Z3Mgr.cpp b/Z3Manager/Z3Mgr.cpp
@@ -227,7 +227,7 @@ s32_t Z3SSEMgr::getGepOffset(const GepStmt* gep){
 
         /// Caculate the offset
         if(const SVFPointerType* pty = SVFUtil::dyn_cast<SVFPointerType>(type))
-            totalOffset += offset * gep->getLocationSet().getElementNum(pty->getPtrElementType());
+            totalOffset += offset * gep->getAccessPath().getElementNum(pty->getPtrElementType());
         else
             totalOffset +=  SymbolTableInfo::SymbolInfo()->getFlattenedElemIdx(type, offset); 
     }