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 4:’ branch...
[...]
35 case 4:
~~~~
|
(7) ...to here
36 p2 = malloc (16); /* { dg-warning "leak" } */
~~~~~~~~~~~
|
(3) allocated here
(8) ‘<unknown>’ leaks here; was allocated at (3)