‘read_alias_file’: events 1-7
37 | fp = fopen ("name", "r"); /* { dg-message "opened here" } */ |
| ^~~~~~~~~~~~~~~~~~~ |
| | |
| (1) opened here |
38 | if (fp == NULL) |
| ~ |
| | |
| (2) assuming ‘fp’ is non-NULL |
| (3) following ‘false’ branch (when ‘fp’ is non-NULL)... |
[...] | |
41 | if (flag) |
| ~ |
| | |
| (4) ...to here |
| (5) following ‘true’ branch (when ‘flag != 0’)... |
42 | return; /* { dg-warning "leak of FILE 'fp'" } */ |
| ~~~~~~ |
| | |
| (6) ...to here |
| (7) ‘fp’ leaks here; was opened at (1) |
|