|   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) |