typedef struct _IO_FILE FILE; | |
extern struct _IO_FILE *stderr; | |
extern FILE *fopen (const char *__restrict __filename, | |
const char *__restrict __modes); | |
extern int _IO_getc (FILE *stream); | |
void | |
test_1 (const char *path) | |
{ | |
FILE *f = fopen (path, "r"); /* { dg-message "opened here" } */ | |
/* Implementation of getc in glibc < 2.28. | |
Verify that we know that this doesn't close the file. */ | |
_IO_getc (f); | |
return; /* { dg-warning "leak of FILE 'f'" } */ | |
} |