Additional tests for KT-10243

2015-12-01 20:53:39 +03:00
parent b9ce9f8576
commit ea3a65d0b8
14 changed files with 310 additions and 3 deletions
@@ -0,0 +1,96 @@
+== x ==
+var x: Int
+---------------------
+L0:
+  1 <START>          INIT: in: {} out: {}
+    v(var x: Int)    INIT: in: {} out: {x=D}
+L1:
+    <END>            INIT: in: {x=D} out: {x=D}
+error:
+    <ERROR>          INIT: in: {} out: {}
+sink:
+    <SINK>           INIT: in: {x=D} out: {x=D}    USE: in: {} out: {}
+=====================
+== foo ==
+fun foo(f: Boolean) {
+    try {
+        if (f) {
+            x = 0
+        }
+    }
+    finally {
+        fun bar() {}
+    }
+}
+---------------------
+L0:
+  1 <START>                                                                  INIT: in: {} out: {}
+    v(f: Boolean)                                                            INIT: in: {} out: {f=D}
+    magic[FAKE_INITIALIZER](f: Boolean) -> <v0>                              INIT: in: {f=D} out: {f=D}
+    w(f|<v0>)                                                                INIT: in: {f=D} out: {f=ID}
+  2 mark({ try { if (f) { x = 0 } } finally { fun bar() {} } })              INIT: in: {f=ID} out: {f=ID}
+    mark(try { if (f) { x = 0 } } finally { fun bar() {} })
+    jmp?(L2)
+  3 mark({ if (f) { x = 0 } })
+    mark(if (f) { x = 0 })                                                                                             USE: in: {f=READ, x=ONLY_WRITTEN_NEVER_READ} out: {f=READ, x=ONLY_WRITTEN_NEVER_READ}
+    r(f) -> <v1>                                                                                                       USE: in: {x=ONLY_WRITTEN_NEVER_READ} out: {f=READ, x=ONLY_WRITTEN_NEVER_READ}
+    jf(L3|<v1>)
+  4 mark({ x = 0 })
+    r(0) -> <v2>                                                                                                       USE: in: {x=ONLY_WRITTEN_NEVER_READ} out: {x=ONLY_WRITTEN_NEVER_READ}
+    w(x|<v2>)                                                                INIT: in: {f=ID} out: {f=ID, x=I}         USE: in: {} out: {x=ONLY_WRITTEN_NEVER_READ}
+  3 jmp(L4)                                                                  INIT: in: {f=ID, x=I} out: {f=ID, x=I}
+L3 [else branch]:
+    read (Unit)                                                              INIT: in: {f=ID} out: {f=ID}
+L4 ['if' expression result]:
+    merge(if (f) { x = 0 }|!<v3>) -> <v4>                                    INIT: in: {f=ID, x=I} out: {f=ID, x=I}
+  2 jmp(L5)
+L2 [onExceptionToFinallyBlock]:
+L6 [start finally]:
+  3 mark({ fun bar() {} })                                                   INIT: in: {f=ID} out: {f=ID}
+    jmp?(L7)
+    d(fun bar() {})
+L7 [after local declaration]:
+L10 [finish finally]:
+  2 jmp(error)
+L5 [skipFinallyToErrorBlock]:
+L11 [copy of L2, onExceptionToFinallyBlock]:
+  3 mark({ fun bar() {} })                                                   INIT: in: {f=ID, x=I} out: {f=ID, x=I}
+    jmp?(L12)
+    d(fun bar() {})
+L12 [copy of L7, after local declaration]:
+  2 merge(try { if (f) { x = 0 } } finally { fun bar() {} }|<v4>) -> <v5>
+L1:
+  1 <END>
+error:
+    <ERROR>                                                                  INIT: in: {f=ID} out: {f=ID}
+sink:
+    <SINK>                                                                   INIT: in: {f=ID, x=I} out: {f=ID, x=I}    USE: in: {} out: {}
+=====================
+== bar ==
+fun bar() {}
+---------------------
+L8:
+  4 <START>        INIT: in: {f=ID} out: {f=ID}
+  5 mark({})
+    read (Unit)
+L9:
+  4 <END>
+error:
+    <ERROR>        INIT: in: {} out: {}
+sink:
+    <SINK>         INIT: in: {f=ID} out: {f=ID}    USE: in: {} out: {}
+=====================
+== bar ==
+fun bar() {}
+---------------------
+L2 [copy of L8, null]:
+  4 <START>        INIT: in: {f=ID, x=I} out: {f=ID, x=I}
+  5 mark({})
+    read (Unit)
+L3 [copy of L9, null]:
+  4 <END>
+L0 [copy of error, null]:
+    <ERROR>        INIT: in: {} out: {}
+L1 [copy of sink, null]:
+    <SINK>         INIT: in: {f=ID, x=I} out: {f=ID, x=I}    USE: in: {} out: {}
+=====================
@@ -0,0 +1,11 @@
+var x: Int
+fun foo(f: Boolean) {
+    try {
+        if (f) {
+            x = 0
+        }
+    }
+    finally {
+        fun bar() {}
+    }
+}
@@ -0,0 +1,34 @@
+== x ==
+var x: Int
+---------------------
+=====================
+== foo ==
+fun foo(f: Boolean) {
+    try {
+        if (f) {
+            x = 0
+        }
+    }
+    finally {
+        fun bar() {}
+    }
+}
+---------------------
+                                                        <v0>: Boolean   NEW: magic[FAKE_INITIALIZER](f: Boolean) -> <v0>
+f                                                       <v1>: Boolean   NEW: r(f) -> <v1>
+0                                                       <v2>: Int       NEW: r(0) -> <v2>
+x = 0                                                   !<v3>: *
+{ x = 0 }                                               !<v3>: *        COPY
+if (f) { x = 0 }                                        <v4>: *         NEW: merge(if (f) { x = 0 }|!<v3>) -> <v4>
+{ if (f) { x = 0 } }                                    <v4>: *         COPY
+try { if (f) { x = 0 } } finally { fun bar() {} }       <v5>: *         NEW: merge(try { if (f) { x = 0 } } finally { fun bar() {} }|<v4>) -> <v5>
+{ try { if (f) { x = 0 } } finally { fun bar() {} } }   <v5>: *         COPY
+=====================
+== bar ==
+fun bar() {}
+---------------------
+=====================
+== bar ==
+fun bar() {}
+---------------------
+=====================