| 
  
     ‘unzRepair’: events 1-4 
|    13 |   FILE* fpOut = fopen(fileOut, "wb"); |  
 |                 ^~~~~~~~~~~~~~~~~~~~ |  
 |                 | |  
 |                 (1) opened here |  
|    14 |   FILE* fpOutCD = fopen(fileOutTmp, "wb"); |  
|    15 |   if (fpZip != NULL && fpOut != NULL) { |  
 |      ~            |  
 |      | |  
 |      (2) following ‘false’ branch (when ‘fpZip’ is NULL)... |  
| [...] |  |  
|    20 | } /* { dg-warning "leak of FILE 'fpZip'" "leak of fpZip" } */ |  
 | ~                 |  
 | | |  
 | (3) ...to here |  
 | (4) ‘fpOut’ leaks here; was opened at (1) |  
 
 |