Bug path
‘unzRepair’
:
events 1-3
76
FILE* fpZip = fopen(file, "rb");
^~~~~~~~~~~~~~~~~
|
(1) opened here
[...]
79
if (fpZip != NULL && fpOut != NULL) {
~
|
(2) assuming ‘fpZip’ is non-NULL
(3) following ‘true’ branch (when ‘fpZip’ is non-NULL)...
‘unzRepair’
:
event 4
79
if (fpZip != NULL && fpOut != NULL) {
^
|
(4) ...to here
‘unzRepair’
:
event 5
79
if (fpZip != NULL && fpOut != NULL) {
^
|
(5) following ‘false’ branch (when ‘fpOut’ is NULL)...
‘unzRepair’
:
events 6-7
326
err = Z_STREAM_ERROR;
^
|
(6) ...to here
327
}
328
return err; /* { dg-warning "leak of FILE 'fpZip'" "leak of fpZip" } */
~~~
|
(7) ‘fpZip’ leaks here; was opened at (1)