Bug path

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