|    11 |   void *p = malloc (1024); /* { dg-message "\\(1\\) this call could return NULL" } */ | 
 |             ^~~~~~~~~~~~~ | 
 |             | | 
 |             (1) this call could return NULL | 
|    12 |   strcpy ((char *)p, "hello world"); /* { dg-warning "use of possibly-NULL 'p' where non-null expected" "warning" } */ | 
 |   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | 
 |   | | 
 |   (2) argument 1 (‘p’) from (1) could be NULL where non-null expected |