azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[Test] Add test for KT-40851

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2023-07-03 16:34:21 +03:00
committed by Space Team
parent eb041d5d6d
commit 31d046e8cd
7 changed files with 56 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java
Generated
+6
View File
@@ -6867,6 +6867,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/expressionInUnitLiteral.kt");
}
@Test
@TestMetadata("initializationInUnreachableCode.kt")
public void testInitializationInUnreachableCode() throws Exception {
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/initializationInUnreachableCode.kt");
}
@Test
@TestMetadata("kt2585_1.kt")
public void testKt2585_1() throws Exception {
analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java
Generated
+6
View File
@@ -6867,6 +6867,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/expressionInUnitLiteral.kt");
}
@Test
@TestMetadata("initializationInUnreachableCode.kt")
public void testInitializationInUnreachableCode() throws Exception {
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/initializationInUnreachableCode.kt");
}
@Test
@TestMetadata("kt2585_1.kt")
public void testKt2585_1() throws Exception {
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java
Generated
+6
View File
@@ -6867,6 +6867,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/expressionInUnitLiteral.kt");
}
@Test
@TestMetadata("initializationInUnreachableCode.kt")
public void testInitializationInUnreachableCode() throws Exception {
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/initializationInUnreachableCode.kt");
}
@Test
@TestMetadata("kt2585_1.kt")
public void testKt2585_1() throws Exception {
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java
Generated
+6
View File
@@ -6873,6 +6873,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/expressionInUnitLiteral.kt");
}
@Test
@TestMetadata("initializationInUnreachableCode.kt")
public void testInitializationInUnreachableCode() throws Exception {
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/initializationInUnreachableCode.kt");
}
@Test
@TestMetadata("kt2585_1.kt")
public void testKt2585_1() throws Exception {
compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/initializationInUnreachableCode.fir.kt
Vendored
+13
View File
@@ -0,0 +1,13 @@
// COMPARE_WITH_LIGHT_TREE
// ISSUE: KT-40851
fun error(): Nothing = throw Exception()
<!UNREACHABLE_CODE{LT}!>class Some<!UNREACHABLE_CODE{PSI}!>()<!> {
var x: Int
val y: Int =<!> error()
<!UNREACHABLE_CODE{LT}!>init {
<!UNREACHABLE_CODE!>x = 1<!>;
}
}<!>
compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/initializationInUnreachableCode.kt
Vendored
+13
View File
@@ -0,0 +1,13 @@
// COMPARE_WITH_LIGHT_TREE
// ISSUE: KT-40851
fun error(): Nothing = throw Exception()
class Some() {
<!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>var x: Int<!>
val y: Int = error()
init {
x = 1;
}
}
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
Generated
+6
View File
@@ -6873,6 +6873,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/expressionInUnitLiteral.kt");
}
@Test
@TestMetadata("initializationInUnreachableCode.kt")
public void testInitializationInUnreachableCode() throws Exception {
runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/deadCode/initializationInUnreachableCode.kt");
}
@Test
@TestMetadata("kt2585_1.kt")
public void testKt2585_1() throws Exception {