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