From faa0f07d098a9032151cedfa2db4ddd5adfb0f6b Mon Sep 17 00:00:00 2001 From: Dmitriy Novozhilov Date: Tue, 16 Jun 2020 22:27:23 +0300 Subject: [PATCH] [FIR] Add utility flags to EdgeKind --- .../fir/resolve/dfa/cfg/ControlFlowGraph.kt | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/cfg/ControlFlowGraph.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/cfg/ControlFlowGraph.kt index 6b7a7b5ce1b..780b434fb18 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/cfg/ControlFlowGraph.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/cfg/ControlFlowGraph.kt @@ -85,13 +85,18 @@ class ControlFlowGraph(val declaration: FirDeclaration?, val name: String, val k } } -enum class EdgeKind(val usedInDfa: Boolean, val isBack: Boolean) { - Simple(usedInDfa = true, isBack = false), - Dead(usedInDfa = false, isBack = false), - Cfg(usedInDfa = false, isBack = false), - Dfg(usedInDfa = true, isBack = false), - Back(usedInDfa = false, isBack = true), - DeadBack(usedInDfa = false, isBack = true) +enum class EdgeKind( + val usedInDfa: Boolean, + val usedInCfa: Boolean, + val isBack: Boolean, + val isDead: Boolean +) { + Simple(usedInDfa = true, usedInCfa = true, isBack = false, isDead = false), + Dead(usedInDfa = false, usedInCfa = true, isBack = false, isDead = true), + Cfg(usedInDfa = false, usedInCfa = true, isBack = false, isDead = false), + Dfg(usedInDfa = true, usedInCfa = false, isBack = false, isDead = false), + Back(usedInDfa = false, usedInCfa = true, isBack = true, isDead = false), + DeadBack(usedInDfa = false, usedInCfa = true, isBack = true, isDead = true) } @OptIn(ExperimentalStdlibApi::class)