[IR][tests] Add tests for removal-of-abstract-fun IR linkage case

^KT-50771

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/lib1/l1.kt.0

@@ -0,0 +1,5 @@
+package lib1
+
+abstract class A {
+    abstract fun foo(): Int
+}

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/lib1/l1.kt.1

@@ -0,0 +1,3 @@
+package lib1
+
+open class A

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/lib1/module.info

@@ -0,0 +1,12 @@
+STEP 0:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.0 -> l1.kt
+STEP 1:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.1 -> l1.kt
+STEP 2:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.0 -> l1.kt

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/lib2/l2.kt

@@ -0,0 +1,7 @@
+package lib2
+
+import lib1.A
+
+class B : A() {
+    override fun foo() = 42
+}

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/lib2/l2.kt.1

@@ -0,0 +1,5 @@
+package lib2
+
+import lib1.A
+
+class B : A()

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/lib2/module.info

@@ -0,0 +1,6 @@
+STEP 0:
+    dependencies: stdlib, lib1
+STEP 1:
+    dependencies: stdlib, lib1
+    modifications:
+        U : l2.kt.1 -> l2.kt

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/main/m.kt

@@ -0,0 +1,19 @@
+import lib1.A
+import lib2.B
+
+fun box(): String {
+    val a: A = B()
+
+    try {
+        val answer: Int = a.foo() // <-- should throw linkage error here
+        println(answer)
+    } catch (e: Throwable) {
+        if (e.isLinkageError("lib2.B.foo")) return "OK"
+    }
+
+    return "FAIL"
+}
+
+private fun Throwable.isLinkageError(symbolName: String): Boolean =
+    this::class.simpleName == "IrLinkageError"
+            && message == "Abstract function $symbolName is not implemented in non-abstract class ${symbolName.substringBeforeLast(".")}"

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/main/module.info

@@ -0,0 +1,2 @@
+STEP 0:
+    dependencies: stdlib, lib1, lib2

compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/project.info

@@ -0,0 +1,10 @@
+MODULES: lib1, lib2, main
+
+STEP 0:
+    libs: lib1, lib2, main
+
+STEP 1:
+    libs: lib1, lib2
+
+STEP 2:
+    libs: lib1

compiler/testData/klibABI/removeAbstractFunctionFromInterface/lib1/l1.kt.0

@@ -0,0 +1,5 @@
+package lib1
+
+interface A {
+    fun foo(): Int
+}

compiler/testData/klibABI/removeAbstractFunctionFromInterface/lib1/l1.kt.1

@@ -0,0 +1,3 @@
+package lib1
+
+interface A

compiler/testData/klibABI/removeAbstractFunctionFromInterface/lib1/module.info

@@ -0,0 +1,12 @@
+STEP 0:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.0 -> l1.kt
+STEP 1:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.1 -> l1.kt
+STEP 2:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.0 -> l1.kt

compiler/testData/klibABI/removeAbstractFunctionFromInterface/lib2/l2.kt

@@ -0,0 +1,7 @@
+package lib2
+
+import lib1.A
+
+class B : A {
+    override fun foo() = 42
+}

compiler/testData/klibABI/removeAbstractFunctionFromInterface/lib2/l2.kt.1

@@ -0,0 +1,5 @@
+package lib2
+
+import lib1.A
+
+class B : A

compiler/testData/klibABI/removeAbstractFunctionFromInterface/lib2/module.info

@@ -0,0 +1,6 @@
+STEP 0:
+    dependencies: stdlib, lib1
+STEP 1:
+    dependencies: stdlib, lib1
+    modifications:
+        U : l2.kt.1 -> l2.kt

compiler/testData/klibABI/removeAbstractFunctionFromInterface/main/m.kt

@@ -0,0 +1,19 @@
+import lib1.A
+import lib2.B
+
+fun box(): String {
+    val a: A = B()
+
+    try {
+        val answer: Int = a.foo() // <-- should throw linkage error here
+        println(answer)
+    } catch (e: Throwable) {
+        if (e.isLinkageError("lib2.B.foo")) return "OK"
+    }
+
+    return "FAIL"
+}
+
+private fun Throwable.isLinkageError(symbolName: String): Boolean =
+    this::class.simpleName == "IrLinkageError"
+            && message == "Abstract function $symbolName is not implemented in non-abstract class ${symbolName.substringBeforeLast(".")}"

compiler/testData/klibABI/removeAbstractFunctionFromInterface/main/module.info

@@ -0,0 +1,2 @@
+STEP 0:
+    dependencies: stdlib, lib1, lib2

compiler/testData/klibABI/removeAbstractFunctionFromInterface/project.info

@@ -0,0 +1,10 @@
+MODULES: lib1, lib2, main
+
+STEP 0:
+    libs: lib1, lib2, main
+
+STEP 1:
+    libs: lib1, lib2
+
+STEP 2:
+    libs: lib1

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/lib1/l1.kt.0

@@ -0,0 +1,5 @@
+package lib1
+
+abstract class A {
+    abstract val foo: Int
+}

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/lib1/l1.kt.1

@@ -0,0 +1,3 @@
+package lib1
+
+open class A

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/lib1/module.info

@@ -0,0 +1,12 @@
+STEP 0:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.0 -> l1.kt
+STEP 1:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.1 -> l1.kt
+STEP 2:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.0 -> l1.kt

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/lib2/l2.kt

@@ -0,0 +1,7 @@
+package lib2
+
+import lib1.A
+
+class B : A() {
+    override val foo = 42
+}

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/lib2/l2.kt.1

@@ -0,0 +1,5 @@
+package lib2
+
+import lib1.A
+
+class B : A()

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/lib2/module.info

@@ -0,0 +1,6 @@
+STEP 0:
+    dependencies: stdlib, lib1
+STEP 1:
+    dependencies: stdlib, lib1
+    modifications:
+        U : l2.kt.1 -> l2.kt

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/main/m.kt

@@ -0,0 +1,19 @@
+import lib1.A
+import lib2.B
+
+fun box(): String {
+    val a: A = B()
+
+    try {
+        val answer: Int = a.foo // <-- should throw linkage error here
+        println(answer)
+    } catch (e: Throwable) {
+        if (e.isLinkageError("lib2.B.<get-foo>")) return "OK"
+    }
+
+    return "FAIL"
+}
+
+private fun Throwable.isLinkageError(symbolName: String): Boolean =
+    this::class.simpleName == "IrLinkageError"
+            && message == "Abstract property accessor $symbolName is not implemented in non-abstract class ${symbolName.substringBeforeLast(".")}"

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/main/module.info

@@ -0,0 +1,2 @@
+STEP 0:
+    dependencies: stdlib, lib1, lib2

compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/project.info

@@ -0,0 +1,10 @@
+MODULES: lib1, lib2, main
+
+STEP 0:
+    libs: lib1, lib2, main
+
+STEP 1:
+    libs: lib1, lib2
+
+STEP 2:
+    libs: lib1

compiler/testData/klibABI/removeAbstractPropertyFromInterface/lib1/l1.kt.0

@@ -0,0 +1,5 @@
+package lib1
+
+interface A {
+    val foo: Int
+}

compiler/testData/klibABI/removeAbstractPropertyFromInterface/lib1/l1.kt.1

@@ -0,0 +1,3 @@
+package lib1
+
+interface A

compiler/testData/klibABI/removeAbstractPropertyFromInterface/lib1/module.info

@@ -0,0 +1,12 @@
+STEP 0:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.0 -> l1.kt
+STEP 1:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.1 -> l1.kt
+STEP 2:
+    dependencies: stdlib
+    modifications:
+        U : l1.kt.0 -> l1.kt

compiler/testData/klibABI/removeAbstractPropertyFromInterface/lib2/l2.kt

@@ -0,0 +1,7 @@
+package lib2
+
+import lib1.A
+
+class B : A {
+    override val foo = 42
+}

compiler/testData/klibABI/removeAbstractPropertyFromInterface/lib2/l2.kt.1

@@ -0,0 +1,5 @@
+package lib2
+
+import lib1.A
+
+class B : A

compiler/testData/klibABI/removeAbstractPropertyFromInterface/lib2/module.info

@@ -0,0 +1,6 @@
+STEP 0:
+    dependencies: stdlib, lib1
+STEP 1:
+    dependencies: stdlib, lib1
+    modifications:
+        U : l2.kt.1 -> l2.kt

compiler/testData/klibABI/removeAbstractPropertyFromInterface/main/m.kt

@@ -0,0 +1,19 @@
+import lib1.A
+import lib2.B
+
+fun box(): String {
+    val a: A = B()
+
+    try {
+        val answer: Int = a.foo // <-- should throw linkage error here
+        println(answer)
+    } catch (e: Throwable) {
+        if (e.isLinkageError("lib2.B.<get-foo>")) return "OK"
+    }
+
+    return "FAIL"
+}
+
+private fun Throwable.isLinkageError(symbolName: String): Boolean =
+    this::class.simpleName == "IrLinkageError"
+            && message == "Abstract property accessor $symbolName is not implemented in non-abstract class ${symbolName.substringBeforeLast(".")}"

compiler/testData/klibABI/removeAbstractPropertyFromInterface/main/module.info

@@ -0,0 +1,2 @@
+STEP 0:
+    dependencies: stdlib, lib1, lib2

compiler/testData/klibABI/removeAbstractPropertyFromInterface/project.info

@@ -0,0 +1,10 @@
+MODULES: lib1, lib2, main
+
+STEP 0:
+    libs: lib1, lib2, main
+
+STEP 1:
+    libs: lib1, lib2
+
+STEP 2:
+    libs: lib1

js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/JsKLibABITestCaseGenerated.java

@@ -30,6 +30,26 @@ public class JsKLibABITestCaseGenerated extends AbstractJsKLibABITestCase {
         KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/klibABI"), Pattern.compile("^([^_](.+))$"), null, TargetBackend.JS_IR, false);
     }
 
+    @TestMetadata("removeAbstractFunctionFromAbstractClass")
+    public void testRemoveAbstractFunctionFromAbstractClass() throws Exception {
+        runTest("compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/");
+    }
+
+    @TestMetadata("removeAbstractFunctionFromInterface")
+    public void testRemoveAbstractFunctionFromInterface() throws Exception {
+        runTest("compiler/testData/klibABI/removeAbstractFunctionFromInterface/");
+    }
+
+    @TestMetadata("removeAbstractPropertyFromAbstractClass")
+    public void testRemoveAbstractPropertyFromAbstractClass() throws Exception {
+        runTest("compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/");
+    }
+
+    @TestMetadata("removeAbstractPropertyFromInterface")
+    public void testRemoveAbstractPropertyFromInterface() throws Exception {
+        runTest("compiler/testData/klibABI/removeAbstractPropertyFromInterface/");
+    }
+
     @TestMetadata("removeClassAsParameterType")
     public void testRemoveClassAsParameterType() throws Exception {
         runTest("compiler/testData/klibABI/removeClassAsParameterType/");

native/native.tests/tests-gen/org/jetbrains/kotlin/konan/blackboxtest/KlibABITestGenerated.java

@@ -24,6 +24,30 @@ public class KlibABITestGenerated extends AbstractNativeKlibABITest {
         KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/klibABI"), Pattern.compile("^([^_](.+))$"), null, false);
     }
 
+    @Test
+    @TestMetadata("removeAbstractFunctionFromAbstractClass")
+    public void testRemoveAbstractFunctionFromAbstractClass() throws Exception {
+        runTest("compiler/testData/klibABI/removeAbstractFunctionFromAbstractClass/");
+    }
+
+    @Test
+    @TestMetadata("removeAbstractFunctionFromInterface")
+    public void testRemoveAbstractFunctionFromInterface() throws Exception {
+        runTest("compiler/testData/klibABI/removeAbstractFunctionFromInterface/");
+    }
+
+    @Test
+    @TestMetadata("removeAbstractPropertyFromAbstractClass")
+    public void testRemoveAbstractPropertyFromAbstractClass() throws Exception {
+        runTest("compiler/testData/klibABI/removeAbstractPropertyFromAbstractClass/");
+    }
+
+    @Test
+    @TestMetadata("removeAbstractPropertyFromInterface")
+    public void testRemoveAbstractPropertyFromInterface() throws Exception {
+        runTest("compiler/testData/klibABI/removeAbstractPropertyFromInterface/");
+    }
+
     @Test
     @TestMetadata("removeClassAsParameterType")
     public void testRemoveClassAsParameterType() throws Exception {