add process unreachable bbs

[jumormt]

resolve issue #1618

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 62.93%. Comparing base (7ae53a5) to head (56d5064).
Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1619   +/-   ##
=======================================
  Coverage   62.92%   62.93%           
=======================================
  Files         247      247           
  Lines       27507    27510    +3     
  Branches     4535     4535           
=======================================
+ Hits        17310    17313    +3     
  Misses      10197    10197           

Files with missing lines	Coverage Δ
svf-llvm/include/SVF-LLVM/ICFGBuilder.h	100.00% <ø> (ø)
svf-llvm/include/SVF-LLVM/LLVMModule.h	98.47% <ø> (ø)
svf-llvm/lib/ICFGBuilder.cpp	100.00% <100.00%> (ø)
svf-llvm/lib/LLVMLoopAnalysis.cpp	100.00% <100.00%> (ø)
svf-llvm/lib/LLVMModule.cpp	81.06% <100.00%> (+0.14%)	⬆️
svf-llvm/lib/LLVMUtil.cpp	75.08% <100.00%> (+0.08%)	⬆️

... and 1 file with indirect coverage changes

[jumormt]

--- log/redis-server.log 2024-12-25 15:07:23.858067166 +1100
+++ log/redis-server-xiao.log 2024-12-25 15:08:51.705178453 +1100
@@ -31,9 +31,9 @@
VarArrayObj 831
VarStructObj 1663
----------------Time and memory stats--------------------
-LLVMIRTime 4.518
-SVFIRTime 2.594
-SymbolTableTime 0.572
+LLVMIRTime 4.493
+SVFIRTime 2.575
+SymbolTableTime 0.582
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -60,11 +60,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.1655e+06
-MemoryUsageVmsize 4.1654e+06
+MemoryUsageVmrss 4.16561e+06
+MemoryUsageVmsize 4.16542e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 126.94
+TotalTime 129.391
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17879
@@ -115,32 +115,32 @@
Persistent Points-To Cache Statistics: Andersen's analysis bitvector
################ (program : redis-server.bc)###############
UniquePointsToSets 44826
-TotalUnions 672555
+TotalUnions 672563
PropertyUnions 222172
UniqueUnions 19258
LookupUnions 395148
-PreemptiveUnions 35977
+PreemptiveUnions 35985
TotalComplements 3363830
PropertyComplements 2998252
UniqueComplements 16887
LookupComplements 331806
PreemptiveComplements 16885
-TotalIntersections 4182702
-PropertyIntersections 4145443
-UniqueIntersections 832
-LookupIntersections 2143
-PreemptiveIntersections 34284
+TotalIntersections 4182710
+PropertyIntersections 4145434
+UniqueIntersections 842
+LookupIntersections 2142
+PreemptiveIntersections 34292
#######################################################

Memory SSA Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 85.8766
-GenMUCHITime 2.149
-GenRegionTime 551.298
-InsertPHITime 0.631
-SSARenameTime 0.086
-TotalMSSATime 554.169
+GenMUCHITime 2.218
+GenRegionTime 600.137
+InsertPHITime 0.656
+SSARenameTime 0.068
+TotalMSSATime 603.083
----------------Numbers stats----------------------------
BBHasMSSAPhi 10656
CSChiNode 110781
@@ -163,13 +163,13 @@
SVFG Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 0.858
+ATNodeTime 0.908
AvgWeight 168.485
ConnDirEdgeTime 0
-ConnIndEdgeTime 4.587
+ConnIndEdgeTime 4.646
OptTime 0
TLNodeTime 0
-TotalTime 5.445
+TotalTime 5.554
----------------Numbers stats----------------------------
ActualIn 162728
ActualOut 110781
@@ -231,20 +231,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 3.56764e+06
-MemoryUsageVmsize 3.60773e+06
+MemoryUsageVmrss 3.56914e+06
+MemoryUsageVmsize 3.60881e+06
PhiTime 0
-PrelabelingTime 0.146
+PrelabelingTime 0.139
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 414.037
+SolveTime 445.72
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 648.336
+TotalTime 643.558
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 230.782
+meldLabelingTime 234.414
----------------Numbers stats----------------------------
CopysNum 14138
DummyFieldPtrs 2305
@@ -262,13 +262,13 @@
Pointers 494723
ProcessedAParam 0
ProcessedAddr 107274
-ProcessedCopy 163534
+ProcessedCopy 164479
ProcessedFRet 0
-ProcessedGep 875547
-ProcessedLoad 886300
+ProcessedGep 874273
+ProcessedLoad 889189
ProcessedMSSANode 2282010
-ProcessedPhi 105214
-ProcessedStore 324694
+ProcessedPhi 106713
+ProcessedStore 323851
SolveIterations 6
StoresNum 24163
StrongUpdates 3377
@@ -283,12 +283,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : redis-server.bc)###############
-UniquePointsToSets 29647
-TotalUnions 1159316643
-PropertyUnions 997310202
-UniqueUnions 37560
-LookupUnions 161918220
-PreemptiveUnions 50661
+UniquePointsToSets 29624
+TotalUnions 1162341999
+PropertyUnions 1000199252
+UniqueUnions 37578
+LookupUnions 162054520
+PreemptiveUnions 50649
TotalComplements 0
PropertyComplements 0
UniqueComplements 0