Bug path

test_3
‘test_3’: events 1-4
22 if (!strcmp (str, "VALUE")) /* { dg-message "following 'true' branch \\(when the strings are equal\\)\\.\\.\\." } */
^
|
(1) following ‘true’ branch (when the strings are equal)...
23 free (ptr);
~~~~~~~~~~
|
(2) ...to here
(3) first ‘free’ here
24 free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
~~~~~~~~~~
|
(4) second ‘free’ here; first ‘free’ was at (3)