Bug path
‘test_1’
:
events 1-3
10
FILE *fp = fopen (path, "r");
^~~~~~~~~~~~~~~~~
|
(1) opened here
11
12
if (!fp) /* { dg-message "when 'fp' is non-NULL" } */
~
|
(2) assuming ‘fp’ is non-NULL
(3) following ‘false’ branch (when ‘fp’ is non-NULL)...
‘test_1’
:
event 4
(4):
...to here
‘test_1’
:
event 5
19
if (flag) /* { dg-message "when 'flag == 0'" "branch event" } */
^
|
(5) following ‘false’ branch (when ‘flag == 0’)...
‘test_1’
:
event 6
(6):
...to here
‘test_1’
:
event 7
19
if (flag) /* { dg-message "when 'flag == 0'" "branch event" } */
^
|
(7) ‘fp’ leaks here; was opened at (1)