| 16 | while (get ()) |
| ^~~ |
| | |
| (1) following ‘true’ branch... |
| (4) following ‘true’ branch... |
| 17 | { |
| 18 | switch (get ()) |
| ~~~~~~ ~~~~~~ |
| | | |
| | (2) ...to here |
| | (5) ...to here |
| (6) following ‘default:’ branch... |
| 19 | { |
| 20 | default: |
| ~~~~~~~ |
| | |
| (7) ...to here |
| 21 | case 0: |
| 22 | p0 = malloc (16); /* { dg-warning "leak" } */ |
| ~~~~~~~~~~~ |
| | |
| (3) allocated here |
| (8) ‘<unknown>’ leaks here; was allocated at (3) |