Revert "Add diagnostic for unexpected KNPE in control-flow analysis"

This reverts commit f24f0017a0.
2017-11-14 16:37:24 +03:00
parent f24f0017a0
commit 2a0b937aac
1 changed files with 1 additions and 8 deletions
@@ -337,14 +337,7 @@ class PseudocodeVariablesData(val pseudocode: Pseudocode, private val bindingCon
                }
            }.mapValues {
                (instruction, edges) ->
-                val edgeForTrivialVals =
-                        resultForTrivialVals[instruction]
-                        ?: error(
-                            """
-                                Unknown trivial result for $instruction in pseudocode for declaration:
-                                 ${pseudocode.correspondingElement.text}
-                            """.trimIndent()
-                        )
+                val edgeForTrivialVals = resultForTrivialVals[instruction]!!

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