Merge pull request #1230 from bjjwwang/1018

yuleisui · web-flow · commit 27dc9fb25358 · 2023-10-19T13:11:27.000+11:00
Fix Wto for CFBBGraph
diff --git a/svf/include/AbstractExecution/WTO.h b/svf/include/AbstractExecution/WTO.h
@@ -824,6 +824,8 @@ class CFBasicBlockGWTO
             for (auto it = node->getOutEdges().begin(), et = node->getOutEdges().end(); it != et; ++it)
             {
                 const CFBasicBlockNode *succ = (*it)->getDstNode();
+                if (succ->getFunction() != node->getFunction())
+                    continue;
                 CycleDepthNumber succ_dfn = getCDN(succ);
                 if (succ_dfn == CycleDepthNumber(0))
                 {

Original file line number	Diff line number	Diff line change
`@@ -824,6 +824,8 @@ class CFBasicBlockGWTO`
`824`	`824`	`for (auto it = node->getOutEdges().begin(), et = node->getOutEdges().end(); it != et; ++it)`
`825`	`825`	`{`
`826`	`826`	`const CFBasicBlockNode succ = (it)->getDstNode();`
	`827`	`+ if (succ->getFunction() != node->getFunction())`
	`828`	`+ continue;`
`827`	`829`	`CycleDepthNumber succ_dfn = getCDN(succ);`
`828`	`830`	`if (succ_dfn == CycleDepthNumber(0))`
`829`	`831`	`{`