Bug path

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