[tests] Added samples for compiler checks

backend.native/tests/compilerChecks/README.md

@@ -0,0 +1 @@
+These tests aren't invoked so far because there is no mechanism of checking compilation errors yet.

backend.native/tests/compilerChecks/t1.kt

@@ -0,0 +1,11 @@
+import kotlinx.cinterop.*
+
+fun foo(x: Int, vararg s: String): Int {
+    var sum = x
+    s.forEach { sum += it.length }
+    return sum
+}
+
+fun bar() {
+    staticCFunction(::foo)
+}

backend.native/tests/compilerChecks/t10.kt

@@ -0,0 +1,7 @@
+import kotlinx.cinterop.*
+
+fun foo(f: Function1<*, Int>) = f
+
+fun bar() {
+    staticCFunction(::foo)
+}

backend.native/tests/compilerChecks/t11.kt

@@ -0,0 +1,7 @@
+import kotlinx.cinterop.*
+
+fun foo(f: Function1<in Int, Int>) = f
+
+fun bar() {
+    staticCFunction(::foo)
+}

backend.native/tests/compilerChecks/t12.kt

@@ -0,0 +1,7 @@
+import kotlinx.cinterop.*
+
+fun foo(x: CValue<*>?) = x
+
+fun bar() {
+    staticCFunction(::foo)
+}

backend.native/tests/compilerChecks/t13.kt

@@ -0,0 +1,8 @@
+import kotlinx.cinterop.*
+
+fun <T: CVariable> bar() {
+
+    fun foo(x: CValue<T>) = x
+
+    staticCFunction(::foo)
+}

backend.native/tests/compilerChecks/t14.kt

@@ -0,0 +1,9 @@
+import kotlinx.cinterop.*
+
+class Z(rawPtr: NativePtr): CStructVar(rawPtr)
+
+fun foo(x: CValue<Z>) = x
+
+fun bar() {
+    staticCFunction(::foo)
+}

backend.native/tests/compilerChecks/t15.kt

@@ -0,0 +1,4 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+fun foo() = NSLog("zzz", {})

backend.native/tests/compilerChecks/t16.kt

@@ -0,0 +1,6 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+class Z
+
+fun foo() = NSLog("zzz", Z())

backend.native/tests/compilerChecks/t17.kt

@@ -0,0 +1,8 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+class Foo : NSObject(), NSPortDelegateProtocol {
+    fun foo() {
+        super.handlePortMessage(TODO())
+    }
+}

backend.native/tests/compilerChecks/t18.kt

@@ -0,0 +1,9 @@
+import platform.darwin.*
+
+class Foo : NSObject() {
+    companion object : NSObjectMeta() {
+        fun bar() {
+            super.hash()
+        }
+    }
+}

backend.native/tests/compilerChecks/t2.kt

@@ -0,0 +1,6 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    override fun handleFailureInFunction(functionName: String, file: String, lineNumber: NSInteger /* = Long */, description: String?, vararg args: Any?) { }
+}

backend.native/tests/compilerChecks/t20.kt

@@ -0,0 +1,4 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+interface Zzz : NSCopyingProtocolMeta

backend.native/tests/compilerChecks/t21.kt

@@ -0,0 +1,4 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+open class Zzz : NSAssertionHandler()

backend.native/tests/compilerChecks/t22.kt

@@ -0,0 +1,8 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    companion object {
+        val Z = 42
+    }
+}

backend.native/tests/compilerChecks/t23.kt

@@ -0,0 +1,6 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+interface I
+
+class Zzz : NSAssertionHandler(), I

backend.native/tests/compilerChecks/t24.kt

@@ -0,0 +1,4 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSCopyingProtocolMeta

backend.native/tests/compilerChecks/t25.kt

@@ -0,0 +1,6 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    override fun toString() = "zzz"
+}

backend.native/tests/compilerChecks/t26.kt

@@ -0,0 +1,8 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    @ObjCAction
+    fun String.foo() = println(this)
+}

backend.native/tests/compilerChecks/t27.kt

@@ -0,0 +1,8 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    @ObjCAction
+    fun foo(x: String) = println(x)
+}

backend.native/tests/compilerChecks/t28.kt

@@ -0,0 +1,8 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    @ObjCAction
+    fun foo() = 42
+}

backend.native/tests/compilerChecks/t29.kt

@@ -0,0 +1,8 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    @ObjCOutlet
+    val x: NSObject get() = this
+}

backend.native/tests/compilerChecks/t3.kt

@@ -0,0 +1,5 @@
+import platform.posix.*
+
+fun main() {
+    println(::printf)
+}

backend.native/tests/compilerChecks/t30.kt

@@ -0,0 +1,10 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    @ObjCOutlet
+    var NSObject.x: NSObject
+        get() = this
+        set(value: NSObject) { }
+}

backend.native/tests/compilerChecks/t31.kt

@@ -0,0 +1,10 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    @ObjCOutlet
+    var x: String 
+        get() = "zzz"
+        set(value: String) { }
+}

backend.native/tests/compilerChecks/t32.kt

@@ -0,0 +1,8 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler {
+    @OverrideInit
+    constructor(x: Int) { }
+}

backend.native/tests/compilerChecks/t33.kt

@@ -0,0 +1,10 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSString {
+    @OverrideInit
+    constructor(coder: NSCoder) { }
+
+    override fun initWithCoder(coder: NSCoder): String? = "zzz"
+}

backend.native/tests/compilerChecks/t34.kt

@@ -0,0 +1,8 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSAssertionHandler() {
+    @ObjCAction
+    fun foo(x: NSObject, y: NSObject, z: NSObject) { }
+}

backend.native/tests/compilerChecks/t35.kt

@@ -0,0 +1,5 @@
+import kotlinx.cinterop.*
+import platform.darwin.*
+import platform.Foundation.*
+
+class Zzz : NSValue()

backend.native/tests/compilerChecks/t36.kt

@@ -0,0 +1,4 @@
+import kotlinx.cinterop.*
+import platform.posix.*
+
+fun foo() = stat(malloc(42)!!.rawValue)

backend.native/tests/compilerChecks/t37.kt

@@ -0,0 +1,11 @@
+import kotlinx.cinterop.*
+import kotlinx.cinterop.internal.*
+
+@CStruct(spelling = "struct { }") class Z constructor(rawPtr: NativePtr) : CStructVar(rawPtr) {
+    val x: Pair<Int, Int>? = null
+        @CStruct.MemberAt(offset = 0L) get
+}
+
+fun foo(z: Z) = z.x
+
+fun main() { }

backend.native/tests/compilerChecks/t38.kt

@@ -0,0 +1,14 @@
+import kotlinx.cinterop.*
+import kotlinx.cinterop.internal.*
+
+@CStruct(spelling = "struct { }") class Z constructor(rawPtr: NativePtr) : CStructVar(rawPtr) {
+    var x: Pair<Int, Int>? = null
+        @CStruct.MemberAt(offset = 0L) get
+        @CStruct.MemberAt(offset = 0L) set
+}
+
+fun foo(z: Z) {
+    z.x = 42 to 117
+}
+
+fun main() { }

backend.native/tests/compilerChecks/t4.kt

@@ -0,0 +1,4 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+fun foo() = println(NSAssertionHandler()::handleFailureInFunction)

backend.native/tests/compilerChecks/t40.kt

@@ -0,0 +1,9 @@
+import kotlinx.cinterop.*
+
+class Z {
+    fun foo(x: Int) = x
+}
+
+fun bar() {
+    staticCFunction(Z()::foo)
+}

backend.native/tests/compilerChecks/t41.kt

@@ -0,0 +1,8 @@
+import kotlinx.cinterop.*
+
+fun bar(x: Int) {
+
+    fun foo() = x
+
+    staticCFunction(::foo)
+}

backend.native/tests/compilerChecks/t42.kt

@@ -0,0 +1,7 @@
+import kotlinx.cinterop.*
+
+fun foo(x: Any) = x
+
+fun bar() {
+    staticCFunction<String, Any>(::foo)
+}

backend.native/tests/compilerChecks/t43.kt

@@ -0,0 +1,3 @@
+import kotlinx.cinterop.*
+
+fun bar(x: Float) = x.signExtend<Int>()

backend.native/tests/compilerChecks/t44.kt

@@ -0,0 +1,3 @@
+import kotlinx.cinterop.*
+
+fun bar(x: Int) = x.signExtend<Float>()

backend.native/tests/compilerChecks/t45.kt

@@ -0,0 +1,3 @@
+import kotlinx.cinterop.*
+
+fun bar(x: Int) = x.signExtend<Short>()

backend.native/tests/compilerChecks/t46.kt

@@ -0,0 +1,3 @@
+import kotlinx.cinterop.*
+
+fun bar(x: Int) = x.narrow<Long>()

backend.native/tests/compilerChecks/t47.kt

@@ -0,0 +1,3 @@
+import kotlinx.cinterop.*
+
+fun bar(x: Int) = x.convert<String>()

backend.native/tests/compilerChecks/t48.kt

@@ -0,0 +1,10 @@
+import kotlin.native.concurrent.*
+
+class Z(val x: Int) {
+    fun bar(s: String) = s + x.toString()
+}
+
+fun foo(x: Int) {
+    val worker = Worker.start()
+    worker.execute(TransferMode.SAFE, { "zzz" }, Z(x)::bar)
+}

backend.native/tests/compilerChecks/t49.kt

@@ -0,0 +1,6 @@
+import kotlin.native.concurrent.*
+
+fun foo(x: Int) {
+    val worker = Worker.start()
+    worker.execute(TransferMode.SAFE, { "zzz" }) { s -> s + x.toString() }
+}

backend.native/tests/compilerChecks/t5.kt

@@ -0,0 +1,4 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+fun foo() = NSAssertionHandler().handleFailureInFunction("zzz", "zzz", 0L, null, "qzz")

backend.native/tests/compilerChecks/t50.kt

@@ -0,0 +1,13 @@
+import kotlin.native.concurrent.*
+
+class Z(val x: Int) {
+    fun bar(s: String) = s + x.toString()
+}
+
+class Q(x: Int) {
+    init {
+        val worker = Worker.start()
+        worker.execute(TransferMode.SAFE, { "zzz" }, Z(x)::bar)
+    }
+}
+

backend.native/tests/compilerChecks/t51.kt

@@ -0,0 +1,10 @@
+import kotlin.native.concurrent.*
+
+class Z(val x: Int) {
+    fun bar(s: String) = s + x.toString()
+}
+
+class Q(x: Int) {
+    val z = Worker.start().execute(TransferMode.SAFE, { "zzz" }, Z(x)::bar)
+}
+

backend.native/tests/compilerChecks/t52.kt

@@ -0,0 +1,6 @@
+import kotlin.native.internal.*
+
+@OptIn(kotlin.ExperimentalStdlibApi::class)
+fun foo(x: Int) {
+    createCleaner(42) { println(x) }
+}

backend.native/tests/compilerChecks/t53.kt

@@ -0,0 +1,10 @@
+import kotlin.native.internal.*
+
+class C(val x: Int) {
+    fun bar(y: Int) = println(x + y)
+}
+
+@OptIn(kotlin.ExperimentalStdlibApi::class)
+fun foo(x: Int) {
+    createCleaner(42, C(x)::bar)
+}

backend.native/tests/compilerChecks/t54.kt

@@ -0,0 +1 @@
+fun foo(arr: ShortArray) = immutableBlobOf(*arr)

backend.native/tests/compilerChecks/t55.kt

@@ -0,0 +1 @@
+fun foo(x: Short) = immutableBlobOf(x)

backend.native/tests/compilerChecks/t56.kt

@@ -0,0 +1 @@
+fun foo() = immutableBlobOf(1000)

backend.native/tests/compilerChecks/t57.kt

@@ -0,0 +1 @@
+fun foo() = immutableBlobOf()

backend.native/tests/compilerChecks/t6.kt

@@ -0,0 +1,4 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+fun foo(s: Array<Any?>) = NSAssertionHandler().handleFailureInFunction("zzz", "zzz", 0L, null, *s)

backend.native/tests/compilerChecks/t7.kt

@@ -0,0 +1,4 @@
+import platform.darwin.*
+import platform.Foundation.*
+
+fun foo(s: Array<Any?>) = NSLog("zzz", *s)

backend.native/tests/compilerChecks/t8.kt

@@ -0,0 +1,7 @@
+import kotlinx.cinterop.*
+
+fun foo(f: Function0<*>) = f
+
+fun bar() {
+    staticCFunction(::foo)
+}

backend.native/tests/compilerChecks/t9.kt

@@ -0,0 +1,7 @@
+import kotlinx.cinterop.*
+
+fun foo(f: Function0<out Int>) = f
+
+fun bar() {
+    staticCFunction(::foo)
+}