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

// RUN_PIPELINE_TILL: FRONTEND
fun assignedInTry() {
    val a: Int
    try {
        a = 42
    } catch (e: Exception) {
    } finally {
    }
    <!UNINITIALIZED_VARIABLE!>a<!>.hashCode()
}

fun sideEffectBeforeAssignmentInTry(s: Any) {
    val a: Int
    try {
        s as String // Potential cast exception
        a = 42
    } catch (e: Exception) {
    } finally {
    }
    <!UNINITIALIZED_VARIABLE!>a<!>.hashCode()
}

fun assignedInTryAndCatch() {
    val a: Int
    try {
        a = 42
    } catch (e: Exception) {
        <!VAL_REASSIGNMENT!>a<!> = 41
    } finally {
    }
    a.hashCode()
}

fun sideEffectBeforeAssignedInTryAndCatch(s: Any) {
    val a: Int
    try {
        s as String // Potential cast exception
        a = 42
    } catch (e: Exception) {
        s as String // Potential cast exception
        <!VAL_REASSIGNMENT!>a<!> = 41
    } finally {
    }
    a.hashCode()
}

fun assignedAtAll() {
    val a: Int
    try {
        a = 42
    } catch (e: Exception) {
        <!VAL_REASSIGNMENT!>a<!> = 41
    } finally {
        <!VAL_REASSIGNMENT!>a<!> = 40
    }
    a.hashCode()
}

fun sideEffectBeforeAssignedInTryCatchButNotFinally(s: Any) {
    val a: Int
    try {
        s as String // Potential cast exception
        a = 42
    } catch (e: Exception) {
        s as String // Potential cast exception
        <!VAL_REASSIGNMENT!>a<!> = 41
    } finally {
        <!VAL_REASSIGNMENT!>a<!> = 40
    }
    a.hashCode()
}

/* GENERATED_FIR_TAGS: asExpression, assignment, functionDeclaration, integerLiteral, localProperty, propertyDeclaration,
tryExpression */