| == sample == |
| fun sample(): String? { |
| try { |
| if (false) { |
| return "fail" |
| } else { |
| if (false) { |
| if (false) { |
| var foo: String? = null |
| try { |
| foo = "test" |
| } catch (e: Exception) { |
| return "fail" |
| } finally { |
| println(foo) // Variable 'foo' must be initialized |
| } |
| } |
| return "fail" |
| } |
| } |
| } finally {} |
| return null |
| } |
| --------------------- |
| <v8>: {<: Exception /* = Exception */} NEW: magic[FAKE_INITIALIZER](e: Exception) -> <v8> |
| false <v0>: Boolean NEW: r(false) -> <v0> |
| "fail" <v1>: {<: String?} NEW: r("fail") -> <v1> |
| return "fail" !<v2>: * |
| { return "fail" } !<v2>: * COPY |
| false <v3>: Boolean NEW: r(false) -> <v3> |
| false <v4>: Boolean NEW: r(false) -> <v4> |
| null <v5>: {<: String?} NEW: r(null) -> <v5> |
| "test" <v6>: {<: String?} NEW: r("test") -> <v6> |
| foo = "test" !<v7>: * |
| { foo = "test" } !<v7>: * COPY |
| "fail" <v9>: {<: String?} NEW: r("fail") -> <v9> |
| return "fail" !<v13>: * |
| { return "fail" } !<v13>: * COPY |
| println !<v11>: * |
| foo <v10>: * NEW: r(foo) -> <v10> |
| println(foo) <v12>: * NEW: magic[UNRESOLVED_CALL](println(foo)|<v10>, !<v11>) -> <v12> |
| { println(foo) // Variable 'foo' must be initialized } <v12>: * COPY |
| try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } <v14>: * NEW: merge(try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized }|!<v7>, !<v13>) -> <v14> |
| { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } <v14>: * COPY |
| if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } <v15>: * NEW: merge(if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } }|<v14>) -> <v15> |
| "fail" <v16>: {<: String?} NEW: r("fail") -> <v16> |
| return "fail" !<v17>: * |
| { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } !<v17>: * COPY |
| if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } <v18>: * NEW: merge(if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" }|!<v17>) -> <v18> |
| { if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } } <v18>: * COPY |
| if (false) { return "fail" } else { if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } } <v19>: * NEW: merge(if (false) { return "fail" } else { if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } }|!<v2>, <v18>) -> <v19> |
| { if (false) { return "fail" } else { if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } } } <v19>: * COPY |
| try { if (false) { return "fail" } else { if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } } } finally {} <v20>: * NEW: merge(try { if (false) { return "fail" } else { if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } } } finally {}|<v19>) -> <v20> |
| null <v21>: {<: String?} NEW: r(null) -> <v21> |
| return null !<v22>: * |
| { try { if (false) { return "fail" } else { if (false) { if (false) { var foo: String? = null try { foo = "test" } catch (e: Exception) { return "fail" } finally { println(foo) // Variable 'foo' must be initialized } } return "fail" } } } finally {} return null } !<v22>: * COPY |
| ===================== |
