| == f == |
| fun f() { |
| class LocalClass() { |
| fun f() { |
| val x = "" |
| |
| fun loc() { |
| val x3 = "" |
| } |
| } |
| } |
| } |
| --------------------- |
| L0: |
| 1 <START> |
| 2 mark({ class LocalClass() { fun f() { val x = "" fun loc() { val x3 = "" } } } }) |
| jmp?(L2) NEXT:[<END>, jmp?(L3)] |
| jmp?(L3) NEXT:[<END>, d(fun f() { val x = "" fun loc() { val x3 = "" } })] |
| d(fun f() { val x = "" fun loc() { val x3 = "" } }) NEXT:[<SINK>] |
| L1: |
| L2 [after local class]: |
| L3 [after local declaration]: |
| 1 <END> NEXT:[<SINK>] PREV:[jmp?(L2), jmp?(L3)] |
| error: |
| <ERROR> PREV:[] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>, d(fun f() { val x = "" fun loc() { val x3 = "" } })] |
| ===================== |
| == f == |
| fun f() { |
| val x = "" |
| |
| fun loc() { |
| val x3 = "" |
| } |
| } |
| --------------------- |
| L4: |
| 3 <START> |
| 4 mark({ val x = "" fun loc() { val x3 = "" } }) |
| v(val x = "") |
| mark("") |
| r("") -> <v0> |
| w(x|<v0>) |
| jmp?(L6) NEXT:[<END>, d(fun loc() { val x3 = "" })] |
| d(fun loc() { val x3 = "" }) NEXT:[<SINK>] |
| L5: |
| L6 [after local declaration]: |
| 3 <END> NEXT:[<SINK>] PREV:[jmp?(L6)] |
| error: |
| <ERROR> PREV:[] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>, d(fun loc() { val x3 = "" })] |
| ===================== |
| == loc == |
| fun loc() { |
| val x3 = "" |
| } |
| --------------------- |
| L7: |
| 5 <START> |
| 6 mark({ val x3 = "" }) |
| v(val x3 = "") |
| mark("") |
| r("") -> <v0> |
| w(x3|<v0>) |
| L8: |
| 5 <END> NEXT:[<SINK>] |
| error: |
| <ERROR> PREV:[] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>] |
| ===================== |
