/* { dg-additional-options "-fanalyzer-verbose-state-changes" } */

typedef struct FILE   FILE;
FILE* fopen (const char*, const char*);
int   fclose (FILE*);

void test_1 (const char *path)
{
  FILE *f = fopen (path, "r"); /* { dg-message "meaning: \\{verb: 'acquire', noun: 'resource'\\}" } */
  if (!f)
    return;

  fclose (f); /* { dg-message "meaning: \\{verb: 'release', noun: 'resource'\\}" } */
  fclose (f); /* { dg-warning "double 'fclose' of FILE 'f'" "warning" } */ 
}