| 
  
     ‘test_4a’: events 1-3 
|    76 |   node_b.ptr = malloc (sizeof (int)); |  
 |                ^~~~~~~~~~~~~~~~~~~~~ |  
 |                | |  
 |                (1) allocated here |  
|    77 |   global_ptr = &node_a; |  
|    78 |   *node_b.ptr = 42; /* { dg-warning "possibly-NULL" "possibly-NULL" } */ |  
 |   ~~~~~~~~~~~~~~~~ |  
 |               | |  
 |               (2) assuming ‘node_b.ptr’ is non-NULL |  
| [...] |  |  
|    82 | } /* { dg-warning "leak of 'node_b.ptr'" } */ |  
 | ~                |  
 | | |  
 | (3) ‘node_b.ptr’ leaks here; was allocated at (1) |  
 
 |