Bug path

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