Bug path

‘test_17’: events 1-2
214 void *ptr = malloc (1024); /* { dg-message "allocated here" } */
^~~~~~~~~~~~~
|
(1) allocated here
215} /* { dg-warning "leak of 'ptr'" } */
~
|
(2) ‘ptr’ leaks here; was allocated at (1)