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