Bug path

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