| == myRun == |
| inline fun <T> myRun(block: () -> T): T { |
| contract { |
| callsInPlace(block, InvocationKind.EXACTLY_ONCE) |
| } |
| return block() |
| } |
| --------------------- |
| L0: |
| 1 <START> INIT: in: {} out: {} |
| v(block: () -> T) INIT: in: {} out: {} |
| magic[FAKE_INITIALIZER](block: () -> T) -> <v0> INIT: in: {} out: {} |
| w(block|<v0>) INIT: in: {} out: {} |
| 2 mark({ contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) } return block() }) INIT: in: {} out: {} |
| mark({ callsInPlace(block, InvocationKind.EXACTLY_ONCE) }) |
| jmp?(L2) |
| d({ callsInPlace(block, InvocationKind.EXACTLY_ONCE) }) |
| L2 [after local declaration]: |
| r({ callsInPlace(block, InvocationKind.EXACTLY_ONCE) }) -> <v1> |
| mark(contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) }) |
| call(contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) }, contract|<v1>) -> <v2> |
| r(block) -> <v3> |
| mark(block()) |
| call(block(), invoke|<v3>) -> <v4> |
| ret(*|<v4>) L1 |
| L1: |
| 1 <END> |
| error: |
| <ERROR> |
| sink: |
| <SINK> USE: in: {} out: {} |
| ===================== |
| == anonymous_0 == |
| { |
| callsInPlace(block, InvocationKind.EXACTLY_ONCE) |
| } |
| --------------------- |
| L3: |
| 3 <START> INIT: in: {} out: {} |
| 4 mark(callsInPlace(block, InvocationKind.EXACTLY_ONCE)) |
| magic[IMPLICIT_RECEIVER](callsInPlace(block, InvocationKind.EXACTLY_ONCE)) -> <v0> |
| r(block) -> <v1> |
| mark(InvocationKind.EXACTLY_ONCE) |
| r(EXACTLY_ONCE) -> <v2> |
| mark(callsInPlace(block, InvocationKind.EXACTLY_ONCE)) |
| call(callsInPlace(block, InvocationKind.EXACTLY_ONCE), callsInPlace|<v0>, <v1>, <v2>) -> <v3> |
| L4: |
| 3 <END> |
| error: |
| <ERROR> |
| sink: |
| <SINK> USE: in: {} out: {} |
| ===================== |
| == someComputation == |
| fun someComputation(): Int = 42 |
| --------------------- |
| L0: |
| 1 <START> INIT: in: {} out: {} |
| r(42) -> <v0> |
| ret(*|<v0>) L1 |
| L1: |
| <END> |
| error: |
| <ERROR> |
| sink: |
| <SINK> USE: in: {} out: {} |
| ===================== |
| == tryCatchInlined == |
| fun tryCatchInlined() { |
| val x: Int |
| |
| myRun { |
| try { |
| x = someComputation() |
| x.inc() |
| } |
| catch (e: java.lang.Exception) { |
| // I? |
| x.inc() |
| } |
| } |
| |
| // I? |
| x.inc() |
| } |
| --------------------- |
| L0: |
| 1 <START> INIT: in: {} out: {} USE: in: {} out: {} |
| 2 mark({ val x: Int myRun { try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() } } // I? x.inc() }) |
| v(val x: Int) INIT: in: {} out: {x=D} |
| mark({ try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() } }) INIT: in: {x=D} out: {x=D} |
| r({ try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() } }) -> <v0> |
| mark(myRun { try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() } }) |
| call(myRun { try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() } }, myRun|<v0>) -> <v1> |
| L2 [before inlined declaration]: |
| inlined({ try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() } }) INIT: in: {x=I?D} out: {x=I?D} |
| L3 [after inlined declaration]: |
| mark(x.inc()) USE: in: {x=READ} out: {x=READ} |
| r(x) -> <v2> USE: in: {} out: {x=READ} |
| mark(inc()) |
| call(inc(), inc|<v2>) -> <v3> |
| L1: |
| 1 <END> INIT: in: {} out: {} |
| error: |
| <ERROR> |
| sink: |
| <SINK> USE: in: {} out: {} |
| ===================== |
| == inlined anonymous_1 == |
| { |
| try { |
| x = someComputation() |
| x.inc() |
| } |
| catch (e: java.lang.Exception) { |
| // I? |
| x.inc() |
| } |
| } |
| --------------------- |
| L4: |
| 3 <START> INIT: in: {x=D} out: {x=D} |
| 4 mark(try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() }) |
| mark(try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() }) |
| jmp?(L6) USE: in: {x=READ} out: {x=READ} |
| 5 mark({ x = someComputation() x.inc() }) |
| mark(someComputation()) |
| call(someComputation(), someComputation) -> <v0> USE: in: {x=WRITTEN_AFTER_READ} out: {x=WRITTEN_AFTER_READ} |
| w(x|<v0>) INIT: in: {x=D} out: {x=ID} USE: in: {x=READ} out: {x=WRITTEN_AFTER_READ} |
| mark(x.inc()) INIT: in: {x=ID} out: {x=ID} |
| r(x) -> <v1> |
| mark(inc()) |
| call(inc(), inc|<v1>) -> <v2> |
| 4 jmp?(L6) |
| jmp(L7) |
| L6 [onException]: |
| 5 v(e: java.lang.Exception) INIT: in: {x=I?D} out: {x=I?D} |
| magic[FAKE_INITIALIZER](e: java.lang.Exception) -> <v3> INIT: in: {x=I?D} out: {x=I?D} |
| w(e|<v3>) INIT: in: {x=I?D} out: {x=I?D} |
| 6 mark({ // I? x.inc() }) INIT: in: {x=I?D} out: {x=I?D} |
| mark(x.inc()) |
| r(x) -> <v4> |
| mark(inc()) |
| call(inc(), inc|<v4>) -> <v5> |
| 5 jmp(L7) |
| L7 [afterCatches]: |
| 4 merge(try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // I? x.inc() }|<v2>, <v5>) -> <v6> |
| 3 ret(*|<v6>) L5 |
| L5: |
| <END> USE: in: {x=READ} out: {x=READ} |
| error: |
| - <ERROR> |
| sink: |
| <SINK> INIT: in: {x=I?D} out: {x=I?D} USE: in: {x=READ} out: {x=READ} |
| ===================== |
| == possibleReassignmentInTryCatch == |
| fun possibleReassignmentInTryCatch() { |
| val x: Int |
| |
| myRun { |
| x = 42 |
| try { |
| x = someComputation() |
| x.inc() |
| } |
| catch (e: java.lang.Exception) { |
| // Possible reassignment |
| x = 42 |
| x.inc() |
| } |
| // Initialized |
| x.inc() |
| } |
| // Initialized |
| x.inc() |
| } |
| --------------------- |
| L0: |
| 1 <START> INIT: in: {} out: {} USE: in: {} out: {} |
| 2 mark({ val x: Int myRun { x = 42 try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() } // Initialized x.inc() } // Initialized x.inc() }) |
| v(val x: Int) INIT: in: {} out: {x=D} |
| mark({ x = 42 try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() } // Initialized x.inc() }) INIT: in: {x=D} out: {x=D} |
| r({ x = 42 try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() } // Initialized x.inc() }) -> <v0> |
| mark(myRun { x = 42 try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() } // Initialized x.inc() }) |
| call(myRun { x = 42 try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() } // Initialized x.inc() }, myRun|<v0>) -> <v1> |
| L2 [before inlined declaration]: |
| inlined({ x = 42 try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() } // Initialized x.inc() }) INIT: in: {x=ID} out: {x=ID} USE: in: {x=WRITTEN_AFTER_READ} out: {x=WRITTEN_AFTER_READ} |
| L3 [after inlined declaration]: |
| mark(x.inc()) USE: in: {x=READ} out: {x=READ} |
| r(x) -> <v2> USE: in: {} out: {x=READ} |
| mark(inc()) |
| call(inc(), inc|<v2>) -> <v3> |
| L1: |
| 1 <END> INIT: in: {} out: {} |
| error: |
| <ERROR> |
| sink: |
| <SINK> USE: in: {} out: {} |
| ===================== |
| == inlined anonymous_2 == |
| { |
| x = 42 |
| try { |
| x = someComputation() |
| x.inc() |
| } |
| catch (e: java.lang.Exception) { |
| // Possible reassignment |
| x = 42 |
| x.inc() |
| } |
| // Initialized |
| x.inc() |
| } |
| --------------------- |
| L4: |
| 3 <START> INIT: in: {x=D} out: {x=D} |
| 4 mark(x = 42 try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() } // Initialized x.inc()) |
| r(42) -> <v0> |
| w(x|<v0>) INIT: in: {x=D} out: {x=ID} |
| mark(try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() }) INIT: in: {x=ID} out: {x=ID} |
| jmp?(L6) |
| 5 mark({ x = someComputation() x.inc() }) |
| mark(someComputation()) |
| call(someComputation(), someComputation) -> <v1> USE: in: {x=WRITTEN_AFTER_READ} out: {x=WRITTEN_AFTER_READ} |
| w(x|<v1>) USE: in: {x=READ} out: {x=WRITTEN_AFTER_READ} |
| mark(x.inc()) |
| r(x) -> <v2> |
| mark(inc()) |
| call(inc(), inc|<v2>) -> <v3> |
| 4 jmp?(L6) |
| jmp(L7) USE: in: {x=READ} out: {x=READ} |
| L6 [onException]: |
| 5 v(e: java.lang.Exception) INIT: in: {x=ID} out: {x=ID} |
| magic[FAKE_INITIALIZER](e: java.lang.Exception) -> <v4> INIT: in: {x=ID} out: {x=ID} |
| w(e|<v4>) INIT: in: {x=ID} out: {x=ID} |
| 6 mark({ // Possible reassignment x = 42 x.inc() }) INIT: in: {x=ID} out: {x=ID} |
| r(42) -> <v5> USE: in: {x=WRITTEN_AFTER_READ} out: {x=WRITTEN_AFTER_READ} |
| w(x|<v5>) USE: in: {x=READ} out: {x=WRITTEN_AFTER_READ} |
| mark(x.inc()) |
| r(x) -> <v6> |
| mark(inc()) |
| call(inc(), inc|<v6>) -> <v7> |
| 5 jmp(L7) |
| L7 [afterCatches]: |
| 4 merge(try { x = someComputation() x.inc() } catch (e: java.lang.Exception) { // Possible reassignment x = 42 x.inc() }|<v3>, <v7>) -> <v8> |
| mark(x.inc()) |
| r(x) -> <v9> |
| mark(inc()) |
| call(inc(), inc|<v9>) -> <v10> |
| 3 ret(*|<v10>) L5 |
| L5: |
| <END> USE: in: {x=READ} out: {x=READ} |
| error: |
| - <ERROR> |
| sink: |
| <SINK> INIT: in: {x=ID} out: {x=ID} USE: in: {x=READ} out: {x=READ} |
| ===================== |
| == tryCatchOuter == |
| fun tryCatchOuter() { |
| var x: Int |
| try { |
| myRun { |
| x = someComputation() |
| x.inc() |
| } |
| } |
| catch (e: java.lang.UnsupportedOperationException) { |
| myRun { x = 42 } |
| } |
| catch (e: java.lang.Exception) { |
| // do nothing |
| } |
| // I? because we can leave with last catch-clause which doesn't initialize x |
| x.inc() |
| } |
| --------------------- |
| L0: |
| 1 <START> INIT: in: {} out: {} USE: in: {} out: {} |
| 2 mark({ var x: Int try { myRun { x = someComputation() x.inc() } } catch (e: java.lang.UnsupportedOperationException) { myRun { x = 42 } } catch (e: java.lang.Exception) { // do nothing } // I? because we can leave with last catch-clause which doesn't initialize x x.inc() }) |
| v(var x: Int) INIT: in: {} out: {x=D} |
| mark(try { myRun { x = someComputation() x.inc() } } catch (e: java.lang.UnsupportedOperationException) { myRun { x = 42 } } catch (e: java.lang.Exception) { // do nothing }) INIT: in: {x=D} out: {x=D} |
| jmp?(L2) USE: in: {x=READ} out: {x=READ} |
| 3 mark({ myRun { x = someComputation() x.inc() } }) |
| mark({ x = someComputation() x.inc() }) |
| r({ x = someComputation() x.inc() }) -> <v0> |
| mark(myRun { x = someComputation() x.inc() }) |
| call(myRun { x = someComputation() x.inc() }, myRun|<v0>) -> <v1> |
| L3 [before inlined declaration]: |
| inlined({ x = someComputation() x.inc() }) INIT: in: {x=ID} out: {x=ID} USE: in: {x=WRITTEN_AFTER_READ} out: {x=WRITTEN_AFTER_READ} |
| L4 [after inlined declaration]: |
| 2 jmp?(L2) |
| jmp(L7) |
| L2 [onException]: |
| jmp?(L8) INIT: in: {x=I?D} out: {x=I?D} USE: in: {x=READ} out: {x=READ} |
| 3 v(e: java.lang.UnsupportedOperationException) INIT: in: {x=I?D} out: {x=I?D} |
| magic[FAKE_INITIALIZER](e: java.lang.UnsupportedOperationException) -> <v2> INIT: in: {x=I?D} out: {x=I?D} |
| w(e|<v2>) INIT: in: {x=I?D} out: {x=I?D} |
| 4 mark({ myRun { x = 42 } }) INIT: in: {x=I?D} out: {x=I?D} |
| mark({ x = 42 }) |
| r({ x = 42 }) -> <v3> |
| mark(myRun { x = 42 }) |
| call(myRun { x = 42 }, myRun|<v3>) -> <v4> |
| L9 [before inlined declaration]: |
| inlined({ x = 42 }) INIT: in: {x=ID} out: {x=ID} USE: in: {x=WRITTEN_AFTER_READ} out: {x=WRITTEN_AFTER_READ} |
| L10 [after inlined declaration]: |
| 3 jmp(L7) |
| L8 [catch 0]: |
| v(e: java.lang.Exception) INIT: in: {x=I?D} out: {x=I?D} |
| magic[FAKE_INITIALIZER](e: java.lang.Exception) -> <v5> INIT: in: {x=I?D} out: {x=I?D} |
| w(e|<v5>) INIT: in: {x=I?D} out: {x=I?D} |
| 4 mark({ // do nothing }) INIT: in: {x=I?D} out: {x=I?D} |
| read (Unit) |
| 3 jmp(L7) |
| L7 [afterCatches]: |
| 2 merge(try { myRun { x = someComputation() x.inc() } } catch (e: java.lang.UnsupportedOperationException) { myRun { x = 42 } } catch (e: java.lang.Exception) { // do nothing }|<v1>, <v4>, !<v6>) -> <v7> |
| mark(x.inc()) USE: in: {x=READ} out: {x=READ} |
| r(x) -> <v8> USE: in: {} out: {x=READ} |
| mark(inc()) |
| call(inc(), inc|<v8>) -> <v9> |
| L1: |
| 1 <END> INIT: in: {} out: {} |
| error: |
| <ERROR> |
| sink: |
| <SINK> USE: in: {} out: {} |
| ===================== |
| == inlined anonymous_3 == |
| { |
| x = someComputation() |
| x.inc() |
| } |
| --------------------- |
| L5: |
| 4 <START> INIT: in: {x=D} out: {x=D} |
| 5 mark(x = someComputation() x.inc()) |
| mark(someComputation()) |
| call(someComputation(), someComputation) -> <v0> USE: in: {x=WRITTEN_AFTER_READ} out: {x=WRITTEN_AFTER_READ} |
| w(x|<v0>) INIT: in: {x=D} out: {x=ID} USE: in: {x=READ} out: {x=WRITTEN_AFTER_READ} |
| mark(x.inc()) INIT: in: {x=ID} out: {x=ID} |
| r(x) -> <v1> |
| mark(inc()) |
| call(inc(), inc|<v1>) -> <v2> |
| 4 ret(*|<v2>) L6 |
| L6: |
| <END> USE: in: {x=READ} out: {x=READ} |
| error: |
| - <ERROR> |
| sink: |
| <SINK> INIT: in: {x=ID} out: {x=ID} USE: in: {x=READ} out: {x=READ} |
| ===================== |
| == inlined anonymous_4 == |
| { x = 42 } |
| --------------------- |
| L11: |
| 5 <START> INIT: in: {x=I?D} out: {x=I?D} |
| 6 mark(x = 42) |
| r(42) -> <v0> USE: in: {x=WRITTEN_AFTER_READ} out: {x=WRITTEN_AFTER_READ} |
| w(x|<v0>) INIT: in: {x=I?D} out: {x=ID} USE: in: {x=READ} out: {x=WRITTEN_AFTER_READ} |
| L12: |
| 5 <END> INIT: in: {x=ID} out: {x=ID} USE: in: {x=READ} out: {x=READ} |
| error: |
| - <ERROR> |
| sink: |
| <SINK> INIT: in: {x=ID} out: {x=ID} USE: in: {x=READ} out: {x=READ} |
| ===================== |
