| == Delegate == |
| class Delegate { |
| fun getValue(_this: Nothing?, p: KProperty<*>): Int = 0 |
| } |
| --------------------- |
| L0: |
| 1 <START> |
| L1: |
| <END> NEXT:[<SINK>] |
| error: |
| <ERROR> PREV:[] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>] |
| ===================== |
| == getValue == |
| fun getValue(_this: Nothing?, p: KProperty<*>): Int = 0 |
| --------------------- |
| L0: |
| 1 <START> |
| v(_this: Nothing?) |
| magic[FAKE_INITIALIZER](_this: Nothing?) -> <v0> |
| w(_this|<v0>) |
| v(p: KProperty<*>) |
| magic[FAKE_INITIALIZER](p: KProperty<*>) -> <v1> |
| w(p|<v1>) |
| r(0) -> <v2> |
| ret(*|<v2>) L1 |
| L1: |
| <END> NEXT:[<SINK>] |
| error: |
| <ERROR> PREV:[] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>] |
| ===================== |
| == a == |
| val a = Delegate() |
| --------------------- |
| L0: |
| 1 <START> |
| v(val a = Delegate()) |
| mark(Delegate()) |
| call(Delegate(), <init>) -> <v0> |
| w(a|<v0>) |
| L1: |
| <END> NEXT:[<SINK>] |
| error: |
| <ERROR> PREV:[] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>] |
| ===================== |
| == b == |
| val b by a |
| --------------------- |
| L0: |
| 1 <START> |
| v(val b by a) |
| magic[UNRECOGNIZED_WRITE_RHS](val b by a) -> <v0> |
| w(b|<v0>) |
| r(a) -> <v1> |
| magic[VALUE_CONSUMER](val b by a|<v1>) -> <v2> |
| L1: |
| <END> NEXT:[<SINK>] |
| error: |
| <ERROR> PREV:[] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>] |
| ===================== |
