| typedef struct FILE FILE; | |
| FILE* fopen (const char*, const char*); | |
| int fclose (FILE*); | |
| struct foo | |
| { | |
| FILE *m_f; | |
| }; | |
| void test (const char *path) | |
| { | |
| struct foo f; | |
| f.m_f = fopen (path, "r"); | |
| if (!f.m_f) | |
| return; /* { dg-bogus "leak of FILE" } */ | |
| fclose (f.m_f); | |
| fclose (f.m_f); /* { dg-warning "double 'fclose' of FILE 'f.m_f'" } */ | |
| } | |
| /* Swallow -Wuse-after-free issued for the same problem | |
| { dg-prune-output "-Wuse-after-free" } */ |