Bug path

test_40

‘test_40’: events 1-2

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