add process unreachable bbs

jumormt · jumormt · commit ae330b75e470 · 2024-12-25T12:46:43.000+11:00
diff --git a/svf-llvm/lib/ICFGBuilder.cpp b/svf-llvm/lib/ICFGBuilder.cpp
@@ -126,10 +126,10 @@ void ICFGBuilder::processFunEntry(const Function*  fun, WorkList& worklist)
  */
 void ICFGBuilder::processUnreachableFromEntry(const Function* fun, WorkList& worklist)
 {
-    for (const auto& bb: *fun)
+    DominatorTree dt;
+    dt.recalculate(const_cast<Function&>(*fun));
+    for (const auto& bb : *fun)
     {
-        DominatorTree dt;
-        dt.recalculate(const_cast<Function&>(*fun));
         if (!dt.isReachableFromEntry(&bb) && !visited.count(&bb.front()))
         {
             visited.insert(&bb.front());

Original file line number	Diff line number	Diff line change
`@@ -126,10 +126,10 @@ void ICFGBuilder::processFunEntry(const Function* fun, WorkList& worklist)`
`126`	`126`	`*/`
`127`	`127`	`void ICFGBuilder::processUnreachableFromEntry(const Function* fun, WorkList& worklist)`
`128`	`128`	`{`
`129`		`- for (const auto& bb: *fun)`
	`129`	`+ DominatorTree dt;`
	`130`	`+ dt.recalculate(const_cast<Function&>(*fun));`
	`131`	`+ for (const auto& bb : *fun)`
`130`	`132`	`{`
`131`		`- DominatorTree dt;`
`132`		`- dt.recalculate(const_cast<Function&>(*fun));`
`133`	`133`	`if (!dt.isReachableFromEntry(&bb) && !visited.count(&bb.front()))`
`134`	`134`	`{`
`135`	`135`	`visited.insert(&bb.front());`