Bug path

test_9
‘test_9’: events 1-7
92 void *ptr = malloc (1024);
^~~~~~~~~~~~~
|
(1) allocated here
[...]
95 for (i = 0; i < 1024; i++)
~~~~~~~~
|
(2) following ‘true’ branch (when ‘i <= 1023’)...
(5) following ‘true’ branch (when ‘i <= 1023’)...
96 free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
~~~~~~~~~~
|
(3) ...to here
(4) first ‘free’ here
(6) ...to here
(7) second ‘free’ here; first ‘free’ was at (4)