|
unzRepair
‘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) |
|
|