| 
  
 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 |  
 
 |   
 |