codeql/java/ql/test-kotlin2/query-tests/ConstantLoopCondition/A.kt

fun fn0(f: Function0<Unit>) = f()

fun fn1() {
    var c = true
    while (c) { // $ SPURIOUS: Alert // TODO: false positive
        fn0 {
            c = false
        }
    }

    var d = true
    while (d) { // $ Alert
        fn0 {
            println(d)
        }
    }

    val e = true
    while (e) { // $ Alert
        fn0 {
            println(e)
        }
    }
}