| 418 | void *ptr = malloc(4096); /* { dg-message "this call could return NULL" } */ |
| ^~~~~~~~~~~~ |
| | |
| (1) this call could return NULL |
| 419 | __builtin_memset(ptr, 0, 4096); /* { dg-warning "use of possibly-NULL 'ptr' where non-null expected" } */ |
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| | |
| (2) argument 1 (‘ptr’) from (1) could be NULL where non-null expected |