Bug path

‘test_2a’: events 1-2
25 __builtin_free (ptr);
^~~~~~~~~~~~~~~~~~~~
|
(1) first ‘free’ here
26 __builtin_free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */
~~~~~~~~~~~~~~~~~~~~
|
(2) second ‘free’ here; first ‘free’ was at (1)