Kotlin: Add FP test case for constant loop condition

Author: tamasvajk

java/ql/test/kotlin/query-tests/ConstantLoopCondition/A.kt

@@ -0,0 +1,10 @@
+fun fn0(f: Function0<Unit>) = f()
+
+fun fn1() {
+    var c = true
+    while (c) {
+        fn0 {
+            c = false
+        }
+    }
+}

java/ql/test/kotlin/query-tests/ConstantLoopCondition/ConstantLoopCondition.expected

@@ -0,0 +1 @@
+| A.kt:5:12:5:12 | c | $@ might not terminate, as this loop condition is constant within the loop. | A.kt:5:5:9:5 | while (...) | Loop |

java/ql/test/kotlin/query-tests/ConstantLoopCondition/ConstantLoopCondition.qlref

@@ -0,0 +1 @@
+Likely Bugs/Termination/ConstantLoopCondition.ql