Merge branch 'master' into 0821

SVF-tools · Sep 11, 2023 · b579fa4 · b579fa4
2 parents 3b36520 + 276b937
commit b579fa4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/svf/include/AbstractExecution/SVFIR2ItvExeState.h b/svf/include/AbstractExecution/SVFIR2ItvExeState.h
@@ -74,7 +74,7 @@ class SVFIR2ItvExeState
     VAddrs getGepObjAddress(u32_t pointer, APOffset offset);
 
     /// Return the byte offset from one gep param offset
-    std::pair<APOffset , APOffset> getBytefromGepTypePair(const AccessPath::VarAndGepTypePair& gep_pair, const GepStmt *gep, APOffset elem_bytesize);
+    std::pair<APOffset, APOffset> getBytefromGepTypePair(const AccessPath::VarAndGepTypePair& gep_pair, const GepStmt *gep, APOffset elem_bytesize);
 
     /// Return the Index offset from one gep param offset
     std::pair<APOffset, APOffset> getIndexfromGepTypePair(const AccessPath::VarAndGepTypePair& gep_pair, const GepStmt *gep);
@@ -84,10 +84,10 @@ class SVFIR2ItvExeState
     /// e.g. GepStmt* gep = **,
     /// s32_t elemBytesize = LLVMUtil::SVFType2ByteSize(gep->getRHSVar()->getValue()->getType());
     /// std::pair<s32_t, s32_t> byteOffset = getGepByteOffset(gep, elemBytesize);
-    std::pair<APOffset , APOffset> getGepByteOffset(const GepStmt *gep, APOffset elemBytesize);
+    std::pair<APOffset, APOffset> getGepByteOffset(const GepStmt *gep, APOffset elemBytesize);
 
     /// Return the offset expression of a GepStmt
-    std::pair<APOffset , APOffset> getGepOffset(const GepStmt *gep);
+    std::pair<APOffset, APOffset> getGepOffset(const GepStmt *gep);
 
 
     static z3::context &getContext()

diff --git a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
@@ -608,10 +608,6 @@ void SVFIR2ItvExeState::translateCmp(const CmpStmt *cmp)
     {
         IntervalValue resVal;
         VAddrs &lhs = getVAddrs(op0), &rhs = getVAddrs(op1);
-//        if (lhs.empty() || rhs.empty()) {
-//            outs() << "empty address cmp?\n";
-//            return;
-//        }
         assert(!lhs.empty() && !rhs.empty() && "empty address?");
         auto predicate = cmp->getPredicate();
         switch (predicate)