native/native.tests/testData/codegen/controlflow/castsOptimizationAliasCycle.kt

// IGNORE_KLIB_BACKEND_ERRORS_WITH_CUSTOM_SECOND_STAGE: Native:2.4

fun f(a: String?) {
    var p = a
    while (p != null) {
        var q: String? = p
        while (q != null) {
            q = null
        }
        p = q
    }
}

fun box(): String {
    f(null)
    f("hello")
    return "OK"
}