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