Merge pull request #18 from jumormt/main

sync with the latest SVF
SVF-tools · Dec 4, 2023 · c990056 · c990056
2 parents 40fe9ce + 373a974
commit c990056
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Z3Manager/Z3Mgr.cpp b/Z3Manager/Z3Mgr.cpp
@@ -205,7 +205,7 @@ z3::expr Z3SSEMgr::getGepObjAddress(z3::expr pointer, u32_t offset){
 
 s32_t Z3SSEMgr::getGepOffset(const GepStmt* gep){
     if(gep->getOffsetVarAndGepTypePairVec().empty())
-        return gep->getConstantFieldIdx();
+        return gep->getConstantStructFldIdx();
 
     s32_t totalOffset = 0;
     for(int i = gep->getOffsetVarAndGepTypePairVec().size() - 1; i >= 0; i--){