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

// FIR_IDENTICAL
//KT-2369 Variable is not marked as uninitialized in 'finally' section

fun main() {
    var x : Int
    try {
        throw Exception()
    }
    finally {
        doSmth(<!UNINITIALIZED_VARIABLE!>x<!> + 1)
    }
}

fun doSmth(a: Any?) = a