Bug path

test_13
‘test_13’: events 1-4
135 void *p = malloc (1024); /* { dg-message "allocated here" } */
^~~~~~~~~~~~~
|
(1) allocated here
[...]
139 if (!q)
~
|
(2) following ‘true’ branch (when ‘q’ is NULL)...
140 {
141 free (q);
~~~~~~~~
|
(3) ...to here
142 return; /* { dg-warning "leak of 'p'" } */
~~~~~~
|
(4) ‘p’ leaks here; was allocated at (1)