Bug path

test_4
‘test_4’: events 1-2
51 void *p = malloc(1024); /* { dg-message "\\(1\\) this call could return NULL" } */
^~~~~~~~~~~~
|
(1) this call could return NULL
52
53 bar(p, q, r); /* { 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