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