From 5fc9f3bc177dba82b5456ca450830a2ca03e5131 Mon Sep 17 00:00:00 2001 From: Alexander Udalov Date: Mon, 8 Mar 2021 20:40:04 +0100 Subject: [PATCH] Minor, add box test for unreachable uninitialized property #KT-44496 --- .../FirBlackBoxCodegenTestGenerated.java | 6 ++++++ .../unreachableUninitializedProperty.kt | 21 +++++++++++++++++++ .../codegen/BlackBoxCodegenTestGenerated.java | 6 ++++++ .../IrBlackBoxCodegenTestGenerated.java | 6 ++++++ .../LightAnalysisModeTestGenerated.java | 5 +++++ .../IrJsCodegenBoxES6TestGenerated.java | 5 +++++ .../IrJsCodegenBoxTestGenerated.java | 5 +++++ .../semantics/JsCodegenBoxTestGenerated.java | 5 +++++ .../IrCodegenBoxWasmTestGenerated.java | 5 +++++ 9 files changed, 64 insertions(+) create mode 100644 compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt diff --git a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java index ee8d7b6f999..3787abe0be9 100644 --- a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java +++ b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java @@ -27512,6 +27512,12 @@ public class FirBlackBoxCodegenTestGenerated extends AbstractFirBlackBoxCodegenT runTest("compiler/testData/codegen/box/properties/typeInferredFromGetter.kt"); } + @Test + @TestMetadata("unreachableUninitializedProperty.kt") + public void testUnreachableUninitializedProperty() throws Exception { + runTest("compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt"); + } + @Nested @TestMetadata("compiler/testData/codegen/box/properties/const") @TestDataPath("$PROJECT_ROOT") diff --git a/compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt b/compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt new file mode 100644 index 00000000000..52cceeabd75 --- /dev/null +++ b/compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt @@ -0,0 +1,21 @@ +// IGNORE_BACKEND_FIR: JVM_IR +// IGNORE_BACKEND: WASM +// WASM_MUTE_REASON: EXCEPTIONS_NOT_IMPLEMENTED +// WITH_RUNTIME +// KT-44496 + +class C { + val todo: String = TODO() + + val uninitializedVal: String + + var uninitializedVar: String +} + +fun box(): String = + try { + C() + "Fail" + } catch (e: NotImplementedError) { + "OK" + } diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java index d8c8c2f22d4..440252d0e04 100644 --- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java +++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java @@ -27512,6 +27512,12 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest { runTest("compiler/testData/codegen/box/properties/typeInferredFromGetter.kt"); } + @Test + @TestMetadata("unreachableUninitializedProperty.kt") + public void testUnreachableUninitializedProperty() throws Exception { + runTest("compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt"); + } + @Nested @TestMetadata("compiler/testData/codegen/box/properties/const") @TestDataPath("$PROJECT_ROOT") diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java index ec33d560c1c..4788d665023 100644 --- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java +++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java @@ -27512,6 +27512,12 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes runTest("compiler/testData/codegen/box/properties/typeInferredFromGetter.kt"); } + @Test + @TestMetadata("unreachableUninitializedProperty.kt") + public void testUnreachableUninitializedProperty() throws Exception { + runTest("compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt"); + } + @Nested @TestMetadata("compiler/testData/codegen/box/properties/const") @TestDataPath("$PROJECT_ROOT") diff --git a/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java b/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java index c8c3f08f0d0..ba22e8cf0c6 100644 --- a/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java +++ b/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java @@ -23402,6 +23402,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes runTest("compiler/testData/codegen/box/properties/typeInferredFromGetter.kt"); } + @TestMetadata("unreachableUninitializedProperty.kt") + public void testUnreachableUninitializedProperty() throws Exception { + runTest("compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt"); + } + @TestMetadata("compiler/testData/codegen/box/properties/const") @TestDataPath("$PROJECT_ROOT") @RunWith(JUnit3RunnerWithInners.class) diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/es6/semantics/IrJsCodegenBoxES6TestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/es6/semantics/IrJsCodegenBoxES6TestGenerated.java index 3ecbdaa17b0..97b95d82ef1 100644 --- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/es6/semantics/IrJsCodegenBoxES6TestGenerated.java +++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/es6/semantics/IrJsCodegenBoxES6TestGenerated.java @@ -18645,6 +18645,11 @@ public class IrJsCodegenBoxES6TestGenerated extends AbstractIrJsCodegenBoxES6Tes runTest("compiler/testData/codegen/box/properties/typeInferredFromGetter.kt"); } + @TestMetadata("unreachableUninitializedProperty.kt") + public void testUnreachableUninitializedProperty() throws Exception { + runTest("compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt"); + } + @TestMetadata("compiler/testData/codegen/box/properties/const") @TestDataPath("$PROJECT_ROOT") @RunWith(JUnit3RunnerWithInners.class) diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java index 35f7e06519d..13ffc1560af 100644 --- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java +++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java @@ -18102,6 +18102,11 @@ public class IrJsCodegenBoxTestGenerated extends AbstractIrJsCodegenBoxTest { runTest("compiler/testData/codegen/box/properties/typeInferredFromGetter.kt"); } + @TestMetadata("unreachableUninitializedProperty.kt") + public void testUnreachableUninitializedProperty() throws Exception { + runTest("compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt"); + } + @TestMetadata("compiler/testData/codegen/box/properties/const") @TestDataPath("$PROJECT_ROOT") @RunWith(JUnit3RunnerWithInners.class) diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java index 80f3681d58e..2a52e5c271d 100644 --- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java +++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java @@ -18152,6 +18152,11 @@ public class JsCodegenBoxTestGenerated extends AbstractJsCodegenBoxTest { runTest("compiler/testData/codegen/box/properties/typeInferredFromGetter.kt"); } + @TestMetadata("unreachableUninitializedProperty.kt") + public void testUnreachableUninitializedProperty() throws Exception { + runTest("compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt"); + } + @TestMetadata("compiler/testData/codegen/box/properties/const") @TestDataPath("$PROJECT_ROOT") @RunWith(JUnit3RunnerWithInners.class) diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/wasm/semantics/IrCodegenBoxWasmTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/wasm/semantics/IrCodegenBoxWasmTestGenerated.java index 28ecaa0f5b3..c3c65a324a0 100644 --- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/wasm/semantics/IrCodegenBoxWasmTestGenerated.java +++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/wasm/semantics/IrCodegenBoxWasmTestGenerated.java @@ -11624,6 +11624,11 @@ public class IrCodegenBoxWasmTestGenerated extends AbstractIrCodegenBoxWasmTest runTest("compiler/testData/codegen/box/properties/typeInferredFromGetter.kt"); } + @TestMetadata("unreachableUninitializedProperty.kt") + public void testUnreachableUninitializedProperty() throws Exception { + runTest("compiler/testData/codegen/box/properties/unreachableUninitializedProperty.kt"); + } + @TestMetadata("compiler/testData/codegen/box/properties/const") @TestDataPath("$PROJECT_ROOT") @RunWith(JUnit3RunnerWithInners.class)