| == test == |
| fun test(array: Array<(Int)->Unit>) { |
| array[11](3) |
| } |
| --------------------- |
| L0: |
| 1 <START> |
| v(array: Array<(Int)->Unit>) |
| magic[FAKE_INITIALIZER](array: Array<(Int)->Unit>) -> <v0> |
| w(array|<v0>) |
| 2 mark({ array[11](3) }) |
| mark(array[11]) |
| r(array) -> <v1> |
| r(11) -> <v2> |
| mark(array[11]) |
| call(array[11], get|<v1>, <v2>) -> <v3> |
| r(3) -> <v4> |
| mark(array[11](3)) |
| call(array[11](3), invoke|<v3>, <v4>) -> <v5> |
| L1: |
| 1 <END> NEXT:[<SINK>] |
| error: |
| <ERROR> PREV:[] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>] |
| ===================== |
