Bug path

‘test_37b’: events 1-4
425 void *q = malloc(4096); /* { dg-message "this call could return NULL" } */
^~~~~~~~~~~~
|
(1) this call could return NULL
426 if (p) {
~
|
(2) following ‘false’ branch (when ‘p’ is NULL)...
[...]
429 __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