Merge remote-tracking branch 'origin/12.8' into 12.8

SVF-tools · Dec 8, 2023 · e972fd9 · e972fd9
2 parents fc0208d + 9a96f48
commit e972fd9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/svf-llvm/lib/LLVMModule.cpp b/svf-llvm/lib/LLVMModule.cpp
@@ -367,7 +367,7 @@ void LLVMModuleSet::initSVFBasicBlock(const Function* func)
     // For no return functions, we set the last block as exit BB
     // This ensures that each function that has definition must have an exit BB
     if(svfFun->exitBlock == nullptr && svfFun->hasBasicBlock()) svfFun->setExitBlock(
-                const_cast<SVFBasicBlock *>(svfFun->back()));
+            const_cast<SVFBasicBlock *>(svfFun->back()));
 }
 
 

diff --git a/svf/lib/MemoryModel/AccessPath.cpp b/svf/lib/MemoryModel/AccessPath.cpp
@@ -236,7 +236,9 @@ APOffset AccessPath::computeConstantOffset() const
                 {
                     SVFUtil::errs() << "It is overflow access, we access the last idx\n";
                     offset = so.size() - 1;
-                } else {
+                }
+                else
+                {
 
                 }