From c924a5d0979ab3de8b538be07eb7d5bc204fb4b5 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Tue, 14 Jan 2014 00:33:02 +0400
Subject: [PATCH] Test for KT-3444 Front-end doesn't check if local function or
 function of anonymous class returns value

 #KT-3444 obsolete
---
 .../diagnostics/tests/controlFlowAnalysis/kt3444.kt | 13 +++++++++++++
 .../jet/checkers/JetDiagnosticsTestGenerated.java   |  5 +++++
 2 files changed, 18 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/controlFlowAnalysis/kt3444.kt

diff --git a/compiler/testData/diagnostics/tests/controlFlowAnalysis/kt3444.kt b/compiler/testData/diagnostics/tests/controlFlowAnalysis/kt3444.kt
new file mode 100644
index 00000000000..9d3dfc994d6
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/controlFlowAnalysis/kt3444.kt
@@ -0,0 +1,13 @@
+fun box() {
+    fun local():Int {
+    <!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
+}
+
+trait X {
+    fun f(): Boolean
+}
+
+val m = object : X {
+    override fun f(): Boolean {
+    <!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
index 169cbba66dd..d730d78770e 100644
--- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
@@ -1573,6 +1573,11 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                 doTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/kt2972.kt");
             }
             
+            @TestMetadata("kt3444.kt")
+            public void testKt3444() throws Exception {
+                doTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/kt3444.kt");
+            }
+            
             @TestMetadata("kt510.kt")
             public void testKt510() throws Exception {
                 doTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/kt510.kt");