Some consistency changes to library & headers flags.

[splint-patched.git] / test / metastate / struct.c

typedef struct
{
  /*@only@*/ /*@open@*/ FILE *file; 
} *source;

void source_badClose (source s)
{
  // free (s->file);
  (void) fclose (s->file);
} /* error - scope exits with file closed */