| == foo == | |
| fun foo() { | |
| {} | |
| } | |
| --------------------- | |
| L0: | |
| 1 <START> | |
| 2 mark({ {} }) | |
| mark({}) | |
| jmp?(L2) NEXT:[r({}) -> <v0>, d({})] | |
| d({}) NEXT:[<SINK>] | |
| L2 [after local declaration]: | |
| r({}) -> <v0> PREV:[jmp?(L2)] | |
| L1: | |
| 1 <END> NEXT:[<SINK>] | |
| error: | |
| <ERROR> PREV:[] | |
| sink: | |
| <SINK> PREV:[<ERROR>, <END>, d({})] | |
| ===================== | |
| == anonymous_0 == | |
| {} | |
| --------------------- | |
| L3: | |
| 3 <START> | |
| 4 mark() | |
| read (Unit) | |
| L4: | |
| 3 <END> NEXT:[<SINK>] | |
| error: | |
| <ERROR> PREV:[] | |
| sink: | |
| <SINK> PREV:[<ERROR>, <END>] | |
| ===================== |