Bug path

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