Bug path

test_42b

‘test_42b’: events 1-2

497	void p = malloc (1024); / { dg-message "allocated here" } */
	^~~~~~~~~~~~~
	\|
	(1) allocated here
[...]
500	} /* { dg-warning "leak of 'p'" } */
	~
	\|
	(2) ‘p’ leaks here; was allocated at (1)