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

[Test] Integrate AbstractCompileTimeConstantEvaluatorTest to AbstractDiagnosticTest

Browse Source 
^KT-47898
This commit is contained in:
Dmitriy Novozhilov
2021-07-28 17:13:17 +03:00
parent c401582770
commit 046730c62c
103 changed files with 2823 additions and 510 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/constantEvaluator/isPure/innerToType.fir.kt
Vendored
+13
View File
@@ -0,0 +1,13 @@
package test
// val prop1: false
val prop1 = 1.toLong() + 1
// val prop2: false
val prop2 = -1.toInt()
// val prop3: false
val prop3 = 1 + 1.toByte()
// val prop4: false
val prop4 = 1 + 1.toShort() + 1
compiler/testData/diagnostics/tests/constantEvaluator/isPure/innerToType.kt
Vendored
+13
View File
@@ -0,0 +1,13 @@
package test
// val prop1: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop1 = 1.toLong() + 1<!>
// val prop2: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop2 = -1.toInt()<!>
// val prop3: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop3 = 1 + 1.toByte()<!>
// val prop4: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop4 = 1 + 1.toShort() + 1<!>
compiler/testData/diagnostics/tests/constantEvaluator/isPure/innerToType.txt
Vendored
+8
View File
@@ -0,0 +1,8 @@
package
package test {
public val prop1: kotlin.Long = 2.toLong()
public val prop2: kotlin.Int = -1
public val prop3: kotlin.Int = 2
public val prop4: kotlin.Int = 3
}
compiler/testData/diagnostics/tests/constantEvaluator/isPure/namedConstants.fir.kt
Vendored
+9
View File
@@ -0,0 +1,9 @@
package test
val NAMED_CONSTANT = 1
// val prop1: false
val prop1 = NAMED_CONSTANT
// val prop2: false
val prop2 = NAMED_CONSTANT + 1
compiler/testData/diagnostics/tests/constantEvaluator/isPure/namedConstants.kt
Vendored
+9
View File
@@ -0,0 +1,9 @@
package test
val NAMED_CONSTANT = 1
// val prop1: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop1 = NAMED_CONSTANT<!>
// val prop2: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop2 = NAMED_CONSTANT + 1<!>
compiler/testData/diagnostics/tests/constantEvaluator/isPure/namedConstants.txt
Vendored
+7
View File
@@ -0,0 +1,7 @@
package
package test {
public val NAMED_CONSTANT: kotlin.Int = 1
public val prop1: kotlin.Int = 1
public val prop2: kotlin.Int = 2
}
compiler/testData/diagnostics/tests/constantEvaluator/isPure/toType.fir.kt
Vendored
+16
View File
@@ -0,0 +1,16 @@
package test
// val prop1: false
val prop1 = 1.toLong()
// val prop2: false
val prop2 = 1.toInt()
// val prop3: false
val prop3 = 1.toByte()
// val prop4: false
val prop4 = 1.toShort()
// val prop5: false
val prop5 = 1.toChar()
compiler/testData/diagnostics/tests/constantEvaluator/isPure/toType.kt
Vendored
+16
View File
@@ -0,0 +1,16 @@
package test
// val prop1: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop1 = 1.toLong()<!>
// val prop2: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop2 = 1.toInt()<!>
// val prop3: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop3 = 1.toByte()<!>
// val prop4: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop4 = 1.toShort()<!>
// val prop5: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val prop5 = 1.toChar()<!>
compiler/testData/diagnostics/tests/constantEvaluator/isPure/toType.txt
Vendored
+9
View File
@@ -0,0 +1,9 @@
package
package test {
public val prop1: kotlin.Long = 1.toLong()
public val prop2: kotlin.Int = 1
public val prop3: kotlin.Byte = 1.toByte()
public val prop4: kotlin.Short = 1.toShort()
public val prop5: kotlin.Char = \u0001 ('?')
}
compiler/testData/diagnostics/tests/constantEvaluator/isPure/unaryMinusIndepWoExpType.fir.kt
Vendored
+16
View File
@@ -0,0 +1,16 @@
package test
// val p1: true
val p1 = -1
// val p2: false
val p2 = -1.toLong()
// val p3: false
val p3 = -1.toByte()
// val p4: false
val p4 = -1.toInt()
// val p5: false
val p5 = -1.toShort()
compiler/testData/diagnostics/tests/constantEvaluator/isPure/unaryMinusIndepWoExpType.kt
Vendored
+16
View File
@@ -0,0 +1,16 @@
package test
// val p1: true
<!DEBUG_INFO_CONSTANT_VALUE("true")!>val p1 = -1<!>
// val p2: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val p2 = -1.toLong()<!>
// val p3: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val p3 = -1.toByte()<!>
// val p4: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val p4 = -1.toInt()<!>
// val p5: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val p5 = -1.toShort()<!>
compiler/testData/diagnostics/tests/constantEvaluator/isPure/unaryMinusIndepWoExpType.txt
Vendored
+9
View File
@@ -0,0 +1,9 @@
package
package test {
public val p1: kotlin.Int = -1
public val p2: kotlin.Long = -1.toLong()
public val p3: kotlin.Int = -1
public val p4: kotlin.Int = -1
public val p5: kotlin.Int = -1
}
compiler/testData/diagnostics/tests/constantEvaluator/isPure/unaryMinusIndependentExpType.fir.kt
Vendored
+63
View File
@@ -0,0 +1,63 @@
package test
// val p1: true
val p1: Int = -1
// val p2: true
val p2: Long = -1
// val p3: true
val p3: Byte = -1
// val p4: true
val p4: Short = -1
// val l1: false
val l1: Long = -1.toLong()
// val l2: false
val l2: Byte = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>-1.toLong()<!>
// val l3: false
val l3: Int = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>-1.toLong()<!>
// val l4: false
val l4: Short = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>-1.toLong()<!>
// val b1: false
val b1: Byte = <!TYPE_MISMATCH!>-1.toByte()<!>
// val b2: false
val b2: Int = -1.toByte()
// val b3: false
val b3: Long = <!TYPE_MISMATCH!>-1.toByte()<!>
// val b4: false
val b4: Short = <!TYPE_MISMATCH!>-1.toByte()<!>
// val i1: false
val i1: Byte = <!TYPE_MISMATCH!>-1.toInt()<!>
// val i2: false
val i2: Int = -1.toInt()
// val i3: false
val i3: Long = <!TYPE_MISMATCH!>-1.toInt()<!>
// val i4: false
val i4: Short = <!TYPE_MISMATCH!>-1.toInt()<!>
// val s1: false
val s1: Byte = <!TYPE_MISMATCH!>-1.toShort()<!>
// val s2: false
val s2: Int = -1.toShort()
// val s3: false
val s3: Long = <!TYPE_MISMATCH!>-1.toShort()<!>
// val s4: false
val s4: Short = <!TYPE_MISMATCH!>-1.toShort()<!>
compiler/testData/diagnostics/tests/constantEvaluator/isPure/unaryMinusIndependentExpType.kt
Vendored
+63
View File
@@ -0,0 +1,63 @@
package test
// val p1: true
<!DEBUG_INFO_CONSTANT_VALUE("true")!>val p1: Int = -1<!>
// val p2: true
<!DEBUG_INFO_CONSTANT_VALUE("true")!>val p2: Long = -1<!>
// val p3: true
<!DEBUG_INFO_CONSTANT_VALUE("true")!>val p3: Byte = -1<!>
// val p4: true
<!DEBUG_INFO_CONSTANT_VALUE("true")!>val p4: Short = -1<!>
// val l1: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val l1: Long = -1.toLong()<!>
// val l2: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val l2: Byte = <!TYPE_MISMATCH!>-1.toLong()<!><!>
// val l3: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val l3: Int = <!TYPE_MISMATCH!>-1.toLong()<!><!>
// val l4: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val l4: Short = <!TYPE_MISMATCH!>-1.toLong()<!><!>
// val b1: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val b1: Byte = <!TYPE_MISMATCH!>-1.toByte()<!><!>
// val b2: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val b2: Int = -1.toByte()<!>
// val b3: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val b3: Long = <!TYPE_MISMATCH!>-1.toByte()<!><!>
// val b4: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val b4: Short = <!TYPE_MISMATCH!>-1.toByte()<!><!>
// val i1: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val i1: Byte = <!TYPE_MISMATCH!>-1.toInt()<!><!>
// val i2: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val i2: Int = -1.toInt()<!>
// val i3: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val i3: Long = <!TYPE_MISMATCH!>-1.toInt()<!><!>
// val i4: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val i4: Short = <!TYPE_MISMATCH!>-1.toInt()<!><!>
// val s1: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val s1: Byte = <!TYPE_MISMATCH!>-1.toShort()<!><!>
// val s2: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val s2: Int = -1.toShort()<!>
// val s3: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val s3: Long = <!TYPE_MISMATCH!>-1.toShort()<!><!>
// val s4: false
<!DEBUG_INFO_CONSTANT_VALUE("false")!>val s4: Short = <!TYPE_MISMATCH!>-1.toShort()<!><!>
compiler/testData/diagnostics/tests/constantEvaluator/isPure/unaryMinusIndependentExpType.txt
Vendored
+24
View File
@@ -0,0 +1,24 @@
package
package test {
public val b1: kotlin.Byte = -1
public val b2: kotlin.Int = -1
public val b3: kotlin.Long = -1
public val b4: kotlin.Short = -1
public val i1: kotlin.Byte = -1
public val i2: kotlin.Int = -1
public val i3: kotlin.Long = -1
public val i4: kotlin.Short = -1
public val l1: kotlin.Long = -1.toLong()
public val l2: kotlin.Byte = -1.toLong()
public val l3: kotlin.Int = -1.toLong()
public val l4: kotlin.Short = -1.toLong()
public val p1: kotlin.Int = -1
public val p2: kotlin.Long = -1.toLong()
public val p3: kotlin.Byte = -1.toByte()
public val p4: kotlin.Short = -1.toShort()
public val s1: kotlin.Byte = -1
public val s2: kotlin.Int = -1
public val s3: kotlin.Long = -1
public val s4: kotlin.Short = -1
}