blob: c0dda470e9b2bc37b262293841a3764d43162ead [file]
// RUN_PIPELINE_TILL: BACKEND
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-313
* PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
* expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
* control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
* control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
* control--and-data-flow-analysis, control-flow-graph, statements-1 -> paragraph 0 -> sentence 0
*/
enum class Color { RED, GREEN, BLUE }
fun foo(arr: Array<Color>): Color {
loop@ for (color in arr) {
<!DEBUG_INFO_IMPLICIT_EXHAUSTIVE!>when (color) {
Color.RED -> return color
Color.GREEN -> break@loop
Color.BLUE -> if (arr.size == 1) return color else continue@loop
}<!>
// Unreachable
<!UNREACHABLE_CODE!>return Color.BLUE<!>
}
return Color.GREEN
}
/* GENERATED_FIR_TAGS: break, continue, enumDeclaration, enumEntry, equalityExpression, forLoop, functionDeclaration,
ifExpression, integerLiteral, localProperty, propertyDeclaration, smartcast, whenExpression, whenWithSubject */