Add diagnostic for unexpected KNPE in control-flow analysis

See KT-20895
2017-11-13 15:19:09 +03:00
parent ae2b0325a3
commit f24f0017a0
1 changed files with 8 additions and 1 deletions
@@ -337,7 +337,14 @@ class PseudocodeVariablesData(val pseudocode: Pseudocode, private val bindingCon
                }
            }.mapValues {
                (instruction, edges) ->
-                val edgeForTrivialVals = resultForTrivialVals[instruction]!!
+                val edgeForTrivialVals =
+                        resultForTrivialVals[instruction]
+                        ?: error(
+                            """
+                                Unknown trivial result for $instruction in pseudocode for declaration:
+                                 ${pseudocode.correspondingElement.text}
+                            """.trimIndent()
+                        )

                Edges(
                        edgeForTrivialVals.incoming.replaceDelegate(edges.incoming),