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

Minor, remove obsolete directives and suppressions from contracts test data

Browse Source
This commit is contained in:
Alexander Udalov
2019-11-05 16:01:46 +01:00
parent 66e19b13ce
commit 4164b620e8
17 changed files with 8 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/codegen/box/contracts/constructorArgument.kt
Vendored
+1 -5
View File
@@ -1,10 +1,8 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
import kotlin.contracts.*
@ExperimentalContracts
fun runOnce(action: () -> Unit) {
contract {
callsInPlace(action, InvocationKind.EXACTLY_ONCE)
@@ -12,7 +10,6 @@ fun runOnce(action: () -> Unit) {
action()
}
@ExperimentalContracts
class Foo(foo: Boolean) {
var res = "FAIL"
init {
@@ -23,8 +20,7 @@ class Foo(foo: Boolean) {
}
}
@ExperimentalContracts
fun box(): String {
val foo = Foo(true)
return foo.res
}
}
compiler/testData/codegen/box/contracts/exactlyOnceNotInline.kt
Vendored
-2
View File
@@ -1,10 +1,8 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public fun myrun(block: () -> Unit) {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/cfgDependendValInitialization.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/complexInitializer.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/complexInitializerWithStackTransformation.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/crossinlineCallableReference.kt
Vendored
+3 -13
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
// NO_CHECK_LAMBDA_INLINING
@@ -12,36 +11,27 @@ interface SomeOutputScreenCallbacks {
fun ontest()
}
@ExperimentalContracts
class OutputWorkScreenView(callbacks: SomeOutputScreenCallbacks) {
val root = vBox {
button(callbacks::ontest)
}
}
@ExperimentalContracts
inline fun vBox(
crossinline action: () -> Unit
) {
inline fun vBox(crossinline action: () -> Unit) {
contract {
callsInPlace(action, InvocationKind.EXACTLY_ONCE)
}
return { action() }()
}
@ExperimentalContracts
inline fun button(
onAction: () -> Unit
) {
inline fun button(onAction: () -> Unit) {
onAction()
}
// FILE: 2.kt
import test.*
import kotlin.contracts.*
@ExperimentalContracts
fun box(): String {
var res = "FAIL"
OutputWorkScreenView(object : SomeOutputScreenCallbacks {
@@ -50,4 +40,4 @@ fun box(): String {
}
})
return res
}
}
compiler/testData/codegen/boxInline/contracts/definiteLongValInitialization.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/definiteValInitInInitializer.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
// NO_CHECK_LAMBDA_INLINING
@@ -9,7 +8,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/exactlyOnceCrossinline.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun myrun(crossinline block: () -> Unit): Unit {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/exactlyOnceCrossinline2.kt
Vendored
-3
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
// FILE: 1.kt
@@ -6,7 +5,6 @@ package test
import kotlin.contracts.*
@ExperimentalContracts
class A {
var res = "FAIL"
@@ -23,7 +21,6 @@ class A {
}
}
@ExperimentalContracts
inline fun baz(crossinline exactly_once: () -> Unit) {
contract {
callsInPlace(exactly_once, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/exactlyOnceNoinline.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
// NO_CHECK_LAMBDA_INLINING
@@ -9,7 +8,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun myrun(noinline block: () -> Unit): Unit {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/nonLocalReturn.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/nonLocalReturnWithCycle.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
// WITH_RUNTIME
@@ -10,7 +9,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
compiler/testData/codegen/boxInline/contracts/propertyInitialization.kt
Vendored
+4 -6
View File
@@ -1,15 +1,13 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: JVM_IR
// IGNORE_BACKEND: JVM_IR, JS_IR, NATIVE
// IGNORE_BACKEND_MULTI_MODULE: JVM_IR
// IGNORE_BACKEND: JS_IR
// IGNORE_BACKEND: NATIVE
// FILE: 1.kt
package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
@@ -32,4 +30,4 @@ class A {
fun box(): String {
return A().z
}
}
compiler/testData/codegen/boxInline/contracts/valInitializationAndUsageInNestedLambda.kt
Vendored
-2
View File
@@ -1,4 +1,3 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: NATIVE
@@ -8,7 +7,6 @@ package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)