| 0 | whilestmt.c:23:22:30:1 | { ... } | 1 | whilestmt.c:24:3:24:3 | { ... } |
| 1 | whilestmt.c:24:3:24:3 | { ... } | 1 | whilestmt.c:24:3:28:3 | while (...) ... |
| 1 | whilestmt.c:24:3:28:3 | while (...) ... | 1 | whilestmt.c:24:9:24:9 | 1 |
| 1 | whilestmt.c:24:9:24:9 | 1 | 1 | whilestmt.c:24:12:28:3 | { ... } |
| 1 | whilestmt.c:24:12:28:3 | { ... } | 2 | whilestmt.c:25:5:25:7 | label ...: |
| 2 | whilestmt.c:25:5:25:7 | label ...: | 2 | whilestmt.c:25:8:25:8 | ; |
| 2 | whilestmt.c:25:8:25:8 | ; | 3 | whilestmt.c:26:5:26:10 | break; |
| 3 | whilestmt.c:26:5:26:10 | break; | 5 | whilestmt.c:28:3:28:3 | label ...: |
| 4 | whilestmt.c:27:5:27:7 | label ...: | 4 | whilestmt.c:27:8:27:8 | ; |
| 4 | whilestmt.c:27:8:27:8 | ; | 1 | whilestmt.c:24:9:24:9 | 1 |
| 5 | whilestmt.c:28:3:28:3 | label ...: | 6 | whilestmt.c:29:3:29:5 | label ...: |
| 6 | whilestmt.c:29:3:29:5 | label ...: | 6 | whilestmt.c:29:6:29:6 | ; |
| 6 | whilestmt.c:29:6:29:6 | ; | 7 | whilestmt.c:30:1:30:1 | return ... |
| 7 | whilestmt.c:30:1:30:1 | return ... | 0 | whilestmt.c:23:6:23:18 | always_true_2 |