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

FE: add new tests around unresolved integer literals

Browse Source 
Related to KT-57487, KT-57703
This commit is contained in:
Mikhail Glukhikh
2023-03-29 17:31:07 +02:00
committed by Space Team
parent 70c5978add
commit 27c4a7b7ef
13 changed files with 129 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
@@ -19253,6 +19253,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
public void testTypealiasOnLong() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/typealiasOnLong.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/vararg.kt");
}
}
@Nested
analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java
Generated
+6
View File
@@ -19253,6 +19253,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
public void testTypealiasOnLong() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/typealiasOnLong.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/vararg.kt");
}
}
@Nested
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java
Generated
+6
View File
@@ -19253,6 +19253,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
public void testTypealiasOnLong() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/typealiasOnLong.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/vararg.kt");
}
}
@Nested
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java
Generated
+6
View File
@@ -19259,6 +19259,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
public void testTypealiasOnLong() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/typealiasOnLong.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/vararg.kt");
}
}
@Nested
compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirLightTreeBlackBoxCodegenTestGenerated.java
Generated
+6
View File
@@ -18572,6 +18572,12 @@ public class FirLightTreeBlackBoxCodegenTestGenerated extends AbstractFirLightTr
public void testUnqualifiedEnum() throws Exception {
runTest("compiler/testData/codegen/box/fir/unqualifiedEnum.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/codegen/box/fir/vararg.kt");
}
}
@Nested
compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirPsiBlackBoxCodegenTestGenerated.java
Generated
+6
View File
@@ -18572,6 +18572,12 @@ public class FirPsiBlackBoxCodegenTestGenerated extends AbstractFirPsiBlackBoxCo
public void testUnqualifiedEnum() throws Exception {
runTest("compiler/testData/codegen/box/fir/unqualifiedEnum.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/codegen/box/fir/vararg.kt");
}
}
@Nested
compiler/testData/codegen/box/fir/vararg.kt
Vendored
+23
View File
@@ -0,0 +1,23 @@
// TARGET_BACKEND: JVM_IR
// IGNORE_BACKEND_K1: JVM_IR
// (type mismatch)
// IGNORE_BACKEND_K2: JVM_IR
// (CCE in select)
// WITH_STDLIB
fun <A : Comparable<A>> arrayData(vararg values: A): A = values.first()
fun test(b: Byte) = select(arrayData(1), b)
fun <S : Comparable<S>> select(a: S, b: S): S {
if (a.compareTo(b) > 0) return a else return b
}
fun box(): String {
val res = test(-42)
val res2 = res.dec()
res.doSomething()
if (res == 1.toByte() && res2 == 0.toByte()) return "OK" else return res.toString()
}
fun Byte.doSomething() {}
compiler/testData/diagnostics/tests/integerLiterals/vararg.fir.kt
Vendored
+17
View File
@@ -0,0 +1,17 @@
// FIR_DUMP
fun <A : Comparable<A>> arrayData(vararg values: A): A = null!!
fun <A> arrayDataNoBound(vararg values: A): A = null!!
fun test(b: Byte) {
select(arrayData(1), b)
select(id(1), b)
select(id(arrayData(1)), b)
select(arrayDataNoBound(1), b)
}
fun <S> select(a: S, b: S) = a
fun <I : Comparable<I>> id(arg: I) = arg
compiler/testData/diagnostics/tests/integerLiterals/vararg.fir.txt
Vendored
+19
View File
@@ -0,0 +1,19 @@
FILE: vararg.fir.kt
public final fun <A : R|kotlin/Comparable<A>|> arrayData(vararg values: R|kotlin/Array<out A>|): R|A| {
^arrayData Null(null)!!
}
public final fun <A> arrayDataNoBound(vararg values: R|kotlin/Array<out A>|): R|A| {
^arrayDataNoBound Null(null)!!
}
public final fun test(b: R|kotlin/Byte|): R|kotlin/Unit| {
R|/select|<R|kotlin/Byte|>(R|/arrayData|<R|kotlin/Int|>(vararg(Int(1))), R|<local>/b|)
R|/select|<R|kotlin/Byte|>(R|/id|<R|kotlin/Int|>(Int(1)), R|<local>/b|)
R|/select|<R|kotlin/Byte|>(R|/id|<R|kotlin/Int|>(R|/arrayData|<R|kotlin/Int|>(vararg(Int(1)))), R|<local>/b|)
R|/select|<R|kotlin/Byte|>(R|/arrayDataNoBound|<R|kotlin/Byte|>(vararg(Byte(1))), R|<local>/b|)
}
public final fun <S> select(a: R|S|, b: R|S|): R|S| {
^select R|<local>/a|
}
public final fun <I : R|kotlin/Comparable<I>|> id(arg: R|I|): R|I| {
^id R|<local>/arg|
}
compiler/testData/diagnostics/tests/integerLiterals/vararg.kt
Vendored
+16
View File
@@ -0,0 +1,16 @@
// FIR_DUMP
fun <A : Comparable<A>> arrayData(vararg values: A): A = null!!
fun <A> arrayDataNoBound(vararg values: A): A = null!!
fun test(b: Byte) {
select(<!TYPE_MISMATCH!>arrayData(1)<!>, b)
select(<!TYPE_MISMATCH!>id(1)<!>, b)
select(<!TYPE_MISMATCH!>id(arrayData(1))<!>, b)
select(arrayDataNoBound(1), b)
}
fun <S> select(a: S, b: S) = a
fun <I : Comparable<I>> id(arg: I) = arg
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
Generated
+6
View File
@@ -19259,6 +19259,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
public void testTypealiasOnLong() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/typealiasOnLong.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/diagnostics/tests/integerLiterals/vararg.kt");
}
}
@Nested
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
Generated
+6
View File
@@ -18572,6 +18572,12 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
public void testUnqualifiedEnum() throws Exception {
runTest("compiler/testData/codegen/box/fir/unqualifiedEnum.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/codegen/box/fir/vararg.kt");
}
}
@Nested
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenWithIrInlinerTestGenerated.java
Generated
+6
View File
@@ -18572,6 +18572,12 @@ public class IrBlackBoxCodegenWithIrInlinerTestGenerated extends AbstractIrBlack
public void testUnqualifiedEnum() throws Exception {
runTest("compiler/testData/codegen/box/fir/unqualifiedEnum.kt");
}
@Test
@TestMetadata("vararg.kt")
public void testVararg() throws Exception {
runTest("compiler/testData/codegen/box/fir/vararg.kt");
}
}
@Nested