| // RUN_PIPELINE_TILL: FRONTEND |
| fun case(): String { |
| val x0 = false |
| val x1: String |
| val x: Boolean |
| try { |
| <!VAL_REASSIGNMENT!>x0<!> = (throw Exception()) || true //VAL_REASSIGNMENT should be |
| !<!UNINITIALIZED_VARIABLE!>x<!> //ok, unreachable code UNINITIALIZED_VARIABLE should be |
| val a: Int = <!UNINITIALIZED_VARIABLE!>x1<!>.toInt() //ok, unreachable code UNINITIALIZED_VARIABLE should be |
| } catch (e: Exception) { |
| return "OK" |
| } |
| return "NOK" |
| } |
| |
| /* GENERATED_FIR_TAGS: assignment, disjunctionExpression, functionDeclaration, localProperty, propertyDeclaration, |
| stringLiteral, tryExpression */ |
