Bug path

test_2a

‘test_2a’: events 1-2

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