|
test_2
‘test_2’: events 1-7
19 | FILE *f_in = fopen (src, "r"); /* { dg-message "\\(1\\) opened here" } */ |
| ^~~~~~~~~~~~~~~~ |
| | |
| (1) opened here |
20 | if (!f_in) |
| ~ |
| | |
| (2) assuming ‘f_in’ is non-NULL |
| (3) following ‘false’ branch (when ‘f_in’ is non-NULL)... |
[...] | |
23 | FILE *f_out = fopen (src, "w"); |
| ~~~~~~~~~~~~~~~~ |
| | |
| (4) ...to here |
24 | if (!f_out) |
| ~ |
| | |
| (5) following ‘true’ branch (when ‘f_out’ is NULL)... |
25 | return; /* { dg-warning "leak of FILE 'f_in'" "warning" } */ |
| ~~~~~~ |
| | |
| (6) ...to here |
| (7) ‘f_in’ leaks here; was opened at (1) |
|
|