1 /* { dg-do "compile" } */
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
);
10 extern void unzRepair(const char* file
, const char* fileOut
, const char* fileOutTmp
)
12 FILE* fpZip
= fopen(file
, "rb");
13 FILE* fpOut
= fopen(fileOut
, "wb");
14 FILE* fpOutCD
= fopen(fileOutTmp
, "wb");
15 if (fpZip
!= NULL
&& fpOut
!= NULL
) {
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 } */