| 
  
     ‘test’: events 1-4 
|    10 |   FILE *fp = fopen (path, "r"); /* { dg-message "opened here" } */ |  
 |              ^~~~~~~~~~~~~~~~~ |  
 |              | |  
 |              (1) opened here |  
| [...] |  |  
|    18 |   if (flag) /* { dg-message "when 'flag == 0'" } */ |  
 |      ~         |  
 |      | |  
 |      (2) following ‘false’ branch (when ‘flag == 0’)... |  
|    19 |     fclose (fp); |  
|    20 | } /* { dg-warning "leak of FILE 'fp'" } */ |  
 | ~              |  
 | | |  
 | (3) ...to here |  
 | (4) ‘fp’ leaks here; was opened at (1) |  
 
 |