compiler/testData/diagnostics/tests/controlFlowAnalysis/doWhileAssignment.kt

// RUN_PIPELINE_TILL: FRONTEND
// FIR_IDENTICAL
// See KT-15334: incorrect reassignment in do...while

fun test() {
    do {
        val s: String
        s = ""
    } while (s == "")
}

fun test2() {
    do {
        val s: String
        s = "1"
        <!VAL_REASSIGNMENT!>s<!> = s + "2"
    } while (s == "1")
}

fun test3() {
    val s: String
    do {
        <!VAL_REASSIGNMENT!>s<!> = ""
    } while (s != "")
}

/* GENERATED_FIR_TAGS: additiveExpression, assignment, doWhileLoop, equalityExpression, functionDeclaration,
localProperty, propertyDeclaration, stringLiteral */