Bug path

‘test_42b’: events 1-2
496 void *p = malloc (1024); /* { dg-message "allocated here" } */
^~~~~~~~~~~~~
|
(1) allocated here
[...]
499} /* { dg-warning "leak of 'p'" } */
~
|
(2) ‘p’ leaks here; was allocated at (1)