Bug path

test_37b
‘test_37b’: events 1-4
426 void *q = malloc(4096); /* { dg-message "this call could return NULL" } */
^~~~~~~~~~~~
|
(1) this call could return NULL
427 if (p) {
~
|
(2) following ‘false’ branch (when ‘p’ is NULL)...
[...]
430 __builtin_memset(q, 0, 4096); /* { dg-warning "use of possibly-NULL 'q' where non-null expected" } */
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
(3) ...to here
(4) argument 1 (‘q’) from (1) could be NULL where non-null expected