1 /* { dg-additional-options "-fanalyzer-verbosity=2" } */
3 typedef struct FILE FILE;
5 FILE* fopen (const char*, const char*);
11 void test (const char *path
, int flag
)
13 FILE *fp
= fopen (path
, "r"); /* { dg-message "opened here" } */
15 /* We shouldn't report this control flow at -fanalyzer-verbosity=2. */
16 if (foo ()) /* { dg-bogus "" } */
21 if (flag
) /* { dg-message "when 'flag == 0'" } */
23 } /* { dg-warning "leak of FILE 'fp'" } */