Bug path

test_3

‘test_3’: events 1-2

32	int ptr = (int )malloc (sizeof (int));
	^~~~~~~~~~~~~~~~~~~~~
	\|
	(1) this call could return NULL
33	ptr = 42; / { dg-warning "dereference of possibly-NULL 'ptr'" } */
	~~~~~~~~~
	\|
	(2) ‘ptr’ could be NULL: unchecked value from (1)