1  /* { dg-do "compile" } */
       2  
       3  /* Minimal replacement of system headers.  */
       4  #define NULL ((void *) 0)
       5  typedef struct _IO_FILE FILE;
       6  extern FILE *fopen(const char *__restrict __filename,
       7  		   const char *__restrict __modes);
       8  extern int fclose (FILE *__stream);
       9  
      10  extern void unzRepair(const char* file, const char* fileOut, const char* fileOutTmp)
      11  {
      12    FILE* fpZip = fopen(file, "rb");
      13    FILE* fpOut = fopen(fileOut, "wb");
      14    FILE* fpOutCD = fopen(fileOutTmp, "wb");
      15    if (fpZip != NULL && fpOut != NULL) {
      16      fclose(fpOutCD);
      17      fclose(fpZip);
      18      fclose(fpOut);
      19    }
      20  } /* { dg-warning "leak of FILE 'fpZip'" "leak of fpZip" } */
      21    /* { dg-warning "leak of FILE 'fpOut'" "leak of fpOut" { target *-*-* } .-1 } */
      22    /* { dg-warning "leak of FILE 'fpOutCD'" "leak of fpOutCD" { target *-*-* } .-2 } */