| 0 | whilestmt.c:1:23:6:1 | { ... } | 1 | whilestmt.c:2:3:4:3 | while (...) ... |
| 1 | whilestmt.c:2:3:4:3 | while (...) ... | 1 | whilestmt.c:2:9:2:9 | 0 |
| 1 | whilestmt.c:2:9:2:9 | 0 | 4 | whilestmt.c:5:3:5:5 | label ...: |
| 1 | whilestmt.c:2:12:4:3 | { ... } | 2 | whilestmt.c:3:5:3:7 | label ...: |
| 2 | whilestmt.c:3:5:3:7 | label ...: | 2 | whilestmt.c:3:8:3:8 | ; |
| 2 | whilestmt.c:3:8:3:8 | ; | 1 | whilestmt.c:2:9:2:9 | 0 |
| 4 | whilestmt.c:5:3:5:5 | label ...: | 4 | whilestmt.c:5:6:5:6 | ; |
| 4 | whilestmt.c:5:6:5:6 | ; | 5 | whilestmt.c:6:1:6:1 | return ... |
| 5 | whilestmt.c:6:1:6:1 | return ... | 0 | whilestmt.c:1:6:1:19 | always_false_1 |