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