Bug path

test
‘test’: events 1-4
15 while (get ())
^~~
|
(1) following ‘true’ branch...
16 {
17 switch (get ())
~~~~~~
|
(2) ...to here
[...]
50 *pp = malloc (16); /* { dg-warning "leak" } */
~~~~~~~~~~~~~~~~~
| |
| (3) allocated here
(4) ‘<unknown>’ leaks here; was allocated at (3)