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