| 
  
     ‘test_2’: events 1-8 
|    31 |   if (a > 5) |  
 |      ^ |  
 |      | |  
 |      (1) following ‘true’ branch (when ‘a > 5’)... |  
|    32 |     if (b) |  
 |        ~ |  
 |        | |  
 |        (2) ...to here |  
 |        (3) following ‘true’ branch (when ‘b != 0’)... |  
|    33 |       p = malloc (16); |  
 |           ~~~~~~~~~~~ |  
 |           | |  
 |           (4) ...to here |  
 |           (5) allocated here |  
| [...] |  |  
|    39 |   if (a > 6) /* different condition */ |  
 |      ~ |  
 |      | |  
 |      (6) following ‘false’ branch (when ‘a <= 6’)... |  
| [...] |  |  
|    45 |   return 0; /* { dg-warning "leak of 'p'" } */ |  
 |          ~ |  
 |          | |  
 |          (7) ...to here |  
 |          (8) ‘p’ leaks here; was allocated at (5) |  
 
 |