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