Bug path

test
‘test’: events 1-8
16 while (get ())
^~~
|
(1) following ‘true’ branch...
(4) following ‘true’ branch...
17 {
18 switch (get ())
~~~~~~ ~~~~~~
| |
| (2) ...to here
| (5) ...to here
(6) following ‘case 2:’ branch...
[...]
28 case 2:
~~~~
|
(7) ...to here
29 p1 = malloc (16); /* { dg-warning "leak" } */
~~~~~~~~~~~
|
(3) allocated here
(8) ‘<unknown>’ leaks here; was allocated at (3)