Kotlin: Add a test of recursive instantiations

igfoo · igfoo · commit 2551bb58dae5 · 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-2/classes.expected b/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-2/classes.expected
@@ -0,0 +1,3 @@
+| stackOverflow.kt:2:1:14:1 | MyClass |
+| stackOverflow.kt:4:13:12:13 |  |
+| stackOverflow.kt:5:17:6:17 | SomeClass |
diff --git a/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-2/classes.ql b/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-2/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-2/stackOverflow.kt b/java/ql/test/kotlin/library-tests/recursive-instantiations/stack-overflow-2/stackOverflow.kt
@@ -0,0 +1,14 @@
+
+class MyClass() {
+    fun f1() {
+            fun f2() {
+                class SomeClass {
+                }
+
+                val ml = mutableListOf<SomeClass>()
+
+                for (x in ml) {
+                }
+            }
+    }
+}
