| 
  
     ‘test’: events 1-8 
|    16 |   while (get ()) |  
 |          ^~~ |  
 |          | |  
 |          (1) following ‘true’ branch... |  
 |          (4) following ‘true’ branch... |  
|    17 |     { |  
|    18 |       switch (get ()) |  
 |       ~~~~~~  ~~~~~~ |  
 |       |       | |  
 |       |       (2) ...to here |  
 |       |       (5) ...to here |  
 |       (6) following ‘case 6:’ branch... |  
| [...] |  |  
|    42 |         case 6: |  
 |         ~~~~ |  
 |         | |  
 |         (7) ...to here |  
|    43 |           p3 = malloc (16); /* { dg-warning "leak" } */ |  
 |                ~~~~~~~~~~~ |  
 |                | |  
 |                (3) allocated here |  
 |                (8) ‘<unknown>’ leaks here; was allocated at (3) |  
 
 |