| == foo == |
| fun foo() { |
| "before" |
| while (true) { |
| val a: Int |
| } |
| "after" |
| } |
| --------------------- |
| L0: |
| 1 <START> INIT: in: {} out: {} |
| 2 mark({ "before" while (true) { val a: Int } "after" }) |
| mark("before") |
| r("before") -> <v0> |
| L2 [loop entry point]: |
| L6 [condition entry point]: |
| r(true) -> <v1> |
| mark(while (true) { val a: Int }) |
| magic[VALUE_CONSUMER](true|<v1>) -> <v2> |
| L4 [body entry point]: |
| 3 mark({ val a: Int }) |
| v(val a: Int) INIT: in: {} out: {a=D} |
| 2 jmp(L2) INIT: in: {} out: {} USE: in: {} out: {} |
| L3 [loop exit point]: |
| L5 [body exit point]: |
| - read (Unit) |
| - mark("after") |
| - r("after") -> <v3> |
| L1: |
| 1 <END> INIT: in: {} out: {} |
| error: |
| <ERROR> |
| sink: |
| <SINK> USE: in: {} out: {} |
| ===================== |
