Nikolay Lunyak
7541732752
Ensure the test data contents for both the frontends are identical. This is needed for proper analysis of K2-differences.
61 lines
1.5 KiB
Kotlin
Vendored
61 lines
1.5 KiB
Kotlin
Vendored
// !DIAGNOSTICS: -UNUSED_EXPRESSION
|
|
// SKIP_TXT
|
|
|
|
/*
|
|
* KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
|
*
|
|
* SECTIONS: dfa
|
|
* NUMBER: 14
|
|
* DESCRIPTION: Raw data flow analysis test
|
|
*/
|
|
|
|
// TESTCASE NUMBER: 1
|
|
fun case_1(vararg x: Int?) {
|
|
if (<!SENSELESS_COMPARISON!>x != null<!>) {
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Array<out kotlin.Int?>")!>x<!>
|
|
x[0]
|
|
}
|
|
}
|
|
|
|
// TESTCASE NUMBER: 2
|
|
fun case_2(vararg x: Int?) {
|
|
x[0].apply {
|
|
if (this != null) {
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>this<!>
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>this<!>.inv()
|
|
}
|
|
}
|
|
|
|
x[0].also {
|
|
if (it != null) {
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>it<!>
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>it<!>.inv()
|
|
}
|
|
}
|
|
}
|
|
|
|
// TESTCASE NUMBER: 3
|
|
fun <T> case_3(vararg x: T?) {
|
|
if (<!SENSELESS_COMPARISON!>x != null<!>) {
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Array<out T?>")!>x<!>
|
|
x[0]
|
|
}
|
|
}
|
|
|
|
// TESTCASE NUMBER: 4
|
|
fun <T : Number?> case_4(vararg x: T?) {
|
|
x[0].apply {
|
|
if (this != null) {
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("T? & T?!!")!>this<!>
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("T? & T?!!")!>this<!>.toByte()
|
|
}
|
|
}
|
|
|
|
x[0].also {
|
|
if (it != null) {
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("T? & T?!!")!>it<!>
|
|
<!DEBUG_INFO_EXPRESSION_TYPE("T? & T?!!")!>it<!>.toByte()
|
|
}
|
|
}
|
|
}
|