Bug path

test_1
‘test_1’: events 1-2
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