// FIR_IDENTICAL fun bar(): Boolean { return true } fun foo(s: String?): Int { do { if (bar()) break } while (s!!.length > 0) // This call is unsafe due to break return s.length }