| switch (n) { | |
| case 1: | |
| // adding a return here eliminates the warning | |
| case 2: | |
| default: | |
| return 2 | |
| } | |
| print 2 | |
| ----- | |
| 0(1) element: null | |
| 1(2) READ n | |
| 2(3) element: Switch statement | |
| 3(6) element: RETURN statement | |
| 4(5) READ print | |
| 5(6) element: Call expression MAYBE_RETURN | |
| 6() element: null |