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

[FIR] Expand divisionByZero.kt test case

Browse Source 
Added two new cases:
1. division where denominator is `val` property
with zero initializer;
2. division where denominator is `const val` property
with zero initializer.

Both such cases have different sets of diagnostics compared to K1.

#KT-59894 Fixed
This commit is contained in:
Ivan Kylchik
2023-11-21 12:39:35 +01:00
committed by Space Team
parent 5dbe81fd7f
commit 1fcd277538
3 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/evaluate/divisionByZero.fir.kt
Vendored
+3
View File
@@ -1,5 +1,6 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE // !DIAGNOSTICS: -UNUSED_VARIABLE
const val a = 0
val a1 = 0 val a1 = 0
val a2 = <!DIVISION_BY_ZERO!>1 / 0<!> val a2 = <!DIVISION_BY_ZERO!>1 / 0<!>
val a3 = 1 / a1 val a3 = 1 / a1
@@ -17,5 +18,7 @@ val a12 = <!DIVISION_BY_ZERO!>1L / 0<!>
val b1: Byte = <!DIVISION_BY_ZERO, INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>1 / 0<!> val b1: Byte = <!DIVISION_BY_ZERO, INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>1 / 0<!>
@Ann(<!DIVISION_BY_ZERO!>1 / 0<!>) val b2 = 1 @Ann(<!DIVISION_BY_ZERO!>1 / 0<!>) val b2 = 1
@Ann(<!NON_CONST_VAL_USED_IN_CONSTANT_EXPRESSION!>1 / a1<!>) val b3 = 1
@Ann(1 / a) val b4 = 1
annotation class Ann(val i : Int) annotation class Ann(val i : Int)
compiler/testData/diagnostics/tests/evaluate/divisionByZero.kt
Vendored
+3
View File
@@ -1,5 +1,6 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE // !DIAGNOSTICS: -UNUSED_VARIABLE
const val a = 0
val a1 = 0 val a1 = 0
val a2 = <!DIVISION_BY_ZERO!>1 / 0<!> val a2 = <!DIVISION_BY_ZERO!>1 / 0<!>
val a3 = <!DIVISION_BY_ZERO!>1 / a1<!> val a3 = <!DIVISION_BY_ZERO!>1 / a1<!>
@@ -17,5 +18,7 @@ val a12 = <!DIVISION_BY_ZERO!>1L / 0<!>
val b1: Byte = <!DIVISION_BY_ZERO, TYPE_MISMATCH!>1 / 0<!> val b1: Byte = <!DIVISION_BY_ZERO, TYPE_MISMATCH!>1 / 0<!>
@Ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, DIVISION_BY_ZERO!>1 / 0<!>) val b2 = 1 @Ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, DIVISION_BY_ZERO!>1 / 0<!>) val b2 = 1
@Ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, DIVISION_BY_ZERO!>1 / a1<!>) val b3 = 1
@Ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, DIVISION_BY_ZERO!>1 / a<!>) val b4 = 1
annotation class Ann(val i : Int) annotation class Ann(val i : Int)
compiler/testData/diagnostics/tests/evaluate/divisionByZero.txt
Vendored
+3
View File
@@ -1,5 +1,6 @@
package package
public const val a: kotlin.Int = 0
public val a1: kotlin.Int = 0 public val a1: kotlin.Int = 0
public val a10: kotlin.Float = Infinity.toFloat() public val a10: kotlin.Float = Infinity.toFloat()
public val a11: kotlin.Double = Infinity.toDouble() public val a11: kotlin.Double = Infinity.toDouble()
@@ -14,6 +15,8 @@ public val a8: kotlin.Int
public val a9: kotlin.Int public val a9: kotlin.Int
public val b1: kotlin.Byte public val b1: kotlin.Byte
@Ann public val b2: kotlin.Int = 1 @Ann public val b2: kotlin.Int = 1
@Ann public val b3: kotlin.Int = 1
@Ann public val b4: kotlin.Int = 1
public final annotation class Ann : kotlin.Annotation { public final annotation class Ann : kotlin.Annotation {
public constructor Ann(/*0*/ i: kotlin.Int) public constructor Ann(/*0*/ i: kotlin.Int)