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

Extract effect from lambda argument if it is in parentheses

Browse Source 
Otherwise, contracts on the parameter have no effect.
 #KT-42044 Fixed
 #KT-26229 Fixed
This commit is contained in:
Ilmir Usmanov
2020-10-11 20:07:05 +02:00
parent df64bb3eb7
commit 3b5706972e
15 changed files with 79 additions and 76 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlFlow/initialization/neg/5.kt
Vendored
+5 -12
View File
@@ -12,15 +12,16 @@
// TESTCASE NUMBER: 1
fun case_1() {
val value_1: Int
funWithExactlyOnceCallsInPlace({ <!CAPTURED_VAL_INITIALIZATION!>value_1<!> = 10 })
var value_1: Int
val l = { value_1 = 10 }
funWithAtLeastOnceCallsInPlace(l)
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
}
// TESTCASE NUMBER: 2
fun case_2() {
var value_1: Int
val l = { value_1 = 10 }
val l = fun () { value_1 = 10 }
funWithAtLeastOnceCallsInPlace(l)
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
}
@@ -28,20 +29,12 @@ fun case_2() {
// TESTCASE NUMBER: 3
fun case_3() {
var value_1: Int
val l = fun () { value_1 = 10 }
funWithAtLeastOnceCallsInPlace(l)
funWithAtLeastOnceCallsInPlace(fun () { value_1 = 10 })
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
}
// TESTCASE NUMBER: 4
fun case_4() {
var value_1: Int
funWithAtLeastOnceCallsInPlace(fun () { value_1 = 10 })
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
}
// TESTCASE NUMBER: 5
fun case_5() {
val value_1: Int
val o = object {
fun l() { <!CAPTURED_VAL_INITIALIZATION!>value_1<!> = 10 }
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlFlow/initialization/neg/6.fir.kt
Vendored
-16
View File
@@ -1,16 +0,0 @@
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// SKIP_TXT
// TESTCASE NUMBER: 1
fun case_1() {
val value_1: Int
funWithExactlyOnceCallsInPlace({ value_1 = 11 })
value_1.inc()
}
// TESTCASE NUMBER: 2
fun case_2() {
var value_1: Int
funWithAtLeastOnceCallsInPlace({ value_1 = 11 })
value_1.inc()
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlFlow/initialization/neg/6.kt
Vendored
-27
View File
@@ -1,27 +0,0 @@
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// SKIP_TXT
/*
* KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
*
* SECTIONS: contracts, analysis, controlFlow, initialization
* NUMBER: 6
* DESCRIPTION: Check the lack of CallsInPlace effect on the lambda in the parentheses.
* UNEXPECTED BEHAVIOUR
* ISSUES: KT-26229
* HELPERS: contractFunctions
*/
// TESTCASE NUMBER: 1
fun case_1() {
val value_1: Int
funWithExactlyOnceCallsInPlace({ <!CAPTURED_VAL_INITIALIZATION!>value_1<!> = 11 })
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
}
// TESTCASE NUMBER: 2
fun case_2() {
var value_1: Int
funWithAtLeastOnceCallsInPlace({ value_1 = 11 })
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlFlow/initialization/pos/6.kt
Vendored
+8 -10
View File
@@ -5,9 +5,7 @@
*
* SECTIONS: contracts, analysis, controlFlow, initialization
* NUMBER: 6
* DESCRIPTION: Check the lack of CallsInPlace effect on the lambda in the parentheses.
* UNEXPECTED BEHAVIOUR
* ISSUES: KT-26229
* DESCRIPTION: Check the presence of CallsInPlace effect on the lambda in the parentheses.
* HELPERS: contractFunctions
*/
@@ -37,15 +35,15 @@ import contracts.*
// TESTCASE NUMBER: 1
fun case_1() {
val value_1: Int
funWithExactlyOnceCallsInPlace({ <!CAPTURED_VAL_INITIALIZATION!>value_1<!> = 11 })
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
funWithExactlyOnceCallsInPlace({ value_1 = 11 })
value_1.inc()
}
// TESTCASE NUMBER: 2
fun case_2() {
var value_1: Int
funWithAtLeastOnceCallsInPlace({ value_1 = 11 })
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
value_1.inc()
}
// TESTCASE NUMBER: 3
@@ -53,8 +51,8 @@ fun case_3() {
val value_1: Int
var value_2: Int
val value_3: Int
contracts.case_3({ <!CAPTURED_VAL_INITIALIZATION!>value_1<!> = 1 }, { value_2 = 2 }, { <!CAPTURED_VAL_INITIALIZATION!>value_3<!> = 3 })
<!UNINITIALIZED_VARIABLE!>value_1<!>.inc()
<!UNINITIALIZED_VARIABLE!>value_2<!>.inc()
<!UNINITIALIZED_VARIABLE!>value_3<!>.inc()
contracts.case_3({ value_1 = 1 }, { value_2 = 2 }, { value_3 = 3 })
value_1.inc()
value_2.inc()
value_3.inc()
}