| 
  
 test_1 
  | 
     ‘test_1’: events 1-6 
|     6 |   FILE *f = fopen (path, "r"); /* { dg-message "opened here" } */ |  
 |             ^~~~~~~~~~~~~~~~~ |  
 |             | |  
 |             (1) opened here |  
|     7 |   if (!f) |  
 |      ~        |  
 |      | |  
 |      (2) assuming ‘f’ is non-NULL |  
 |      (3) following ‘false’ branch (when ‘f’ is non-NULL)... |  
| [...] |  |  
|    10 |   fclose (f); /* { dg-message "\\(4\\) \\.\\.\\.to here" "to here" } */ |  
 |   ~~~~~~~~~~  |  
 |   | |  
 |   (4) ...to here |  
 |   (5) first ‘fclose’ here |  
|    11 |   /* { dg-message "\\(5\\) first 'fclose' here" "first fclose" { target *-*-* } .-1 } */ |  
|    12 |   fclose (f); /* { dg-warning "double 'fclose' of FILE 'f'" "warning" } */ |  
 |   ~~~~~~~~~~  |  
 |   | |  
 |   (6) second ‘fclose’ here; first ‘fclose’ was at (5) |  
 
 |   
 |