azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Fix infinite CFG traverse

Browse Source
This commit is contained in:
Krasnoriadtseva Anastasiia
2020-05-26 12:53:16 +03:00
committed by Dmitriy Novozhilov
parent 7644b4baec
commit a55dec28b9
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/cfa/CfgUtils.kt
+2 -3
View File
@@ -31,6 +31,7 @@ fun <D> ControlFlowGraph.traverse(
stack.addFirst(initialNode) stack.addFirst(initialNode)
while (stack.isNotEmpty()) { while (stack.isNotEmpty()) {
val node = stack.removeFirst() val node = stack.removeFirst()
visitedNodes.add(node)
val previousNodes = when (direction) { val previousNodes = when (direction) {
TraverseDirection.Forward -> node.previousNodes TraverseDirection.Forward -> node.previousNodes
TraverseDirection.Backward -> node.followingNodes TraverseDirection.Backward -> node.followingNodes
@@ -49,9 +50,7 @@ fun <D> ControlFlowGraph.traverse(
TraverseDirection.Backward -> node.previousNodes TraverseDirection.Backward -> node.previousNodes
} }
followingNodes.forEach { followingNodes.filterNot { visitedNodes.contains(it) }.forEach { stack.addFirst(it) }
stack.addFirst(it)
}
} }
} }