compiler/testData/diagnostics/tests/controlFlowAnalysis/doWhileNotDefined.fir.kt

fun test(cond1: Boolean) {
    do {
        if (cond1) continue
        val cond2 = false
    } while (cond2) // cond2 may be not defined here
}