Bug path
‘unzRepair’
:
events 1-2
77
FILE* fpOut = fopen(fileOut, "wb");
^~~~~~~~~~~~~~~~~~~~
|
(1) opened here
78
FILE* fpOutCD = fopen(fileOutTmp, "wb");
79
if (fpZip != NULL && fpOut != NULL) {
~
|
(2) following ‘false’ branch (when ‘fpZip’ is NULL)...
‘unzRepair’
:
events 3-4
326
err = Z_STREAM_ERROR;
^
|
(3) ...to here
327
}
328
return err; /* { dg-warning "leak of FILE 'fpZip'" "leak of fpZip" } */
~~~
|
(4) ‘fpOut’ leaks here; was opened at (1)