| == fail == |
| fun fail() : Nothing { |
| throw java.lang.RuntimeException() |
| } |
| --------------------- |
| L0: |
| 1 <START> |
| 2 mark({ throw java.lang.RuntimeException() }) |
| mark(throw java.lang.RuntimeException()) |
| mark(java.lang.RuntimeException()) |
| mark(RuntimeException()) |
| call(RuntimeException(), <init>) -> <v0> |
| throw (throw java.lang.RuntimeException()|<v0>) NEXT:[<ERROR>] |
| L1: |
| 1 <END> NEXT:[<SINK>] PREV:[] |
| error: |
| <ERROR> PREV:[throw (throw java.lang.RuntimeException()|<v0>)] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>] |
| ===================== |