Kotlin: Add a test of recursive instantiations

igfoo · igfoo · commit 0d79dfc4129d · 2022-05-10T19:51:21.000+01:00
This used to cause a stack overflow
diff --git a/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/BaseFoo.java b/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/BaseFoo.java
@@ -0,0 +1,3 @@
+
+public interface BaseFoo<T, S extends BaseFoo<T, S>> {}
+
diff --git a/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/Foo.java b/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/Foo.java
@@ -0,0 +1,3 @@
+
+public interface Foo<T> extends BaseFoo<T, Foo<T>> {}
+
diff --git a/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/classes.expected b/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/classes.expected
@@ -0,0 +1,3 @@
+| test.kt:2:1:11:1 | MyClass |
+| test.kt:4:13:9:13 |  |
+| test.kt:5:17:6:17 | SomeClass |
diff --git a/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/classes.ql b/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/classes.ql
@@ -0,0 +1,5 @@
+import java
+
+from Class c
+where c.fromSource()
+select c
diff --git a/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/test.kt b/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-1/test.kt
@@ -0,0 +1,11 @@
+
+class MyClass() {
+    fun f1() {
+            fun f2() {
+                class SomeClass {
+                }
+
+                val x: Foo<SomeClass>? = null
+            }
+    }
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+`
	`2`	`+public interface BaseFoo<T, S extends BaseFoo<T, S>> {}`
	`3`	`+`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+`
	`2`	`+public interface Foo<T> extends BaseFoo<T, Foo<T>> {}`
	`3`	`+`