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