[splint.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 */
Commit	Line	Data
80ee600a	1	typedef struct
	2	{
	3	/@only@/ /@open@/ FILE *file;
	4	} *source;
80ee600a	5
	6	void source_badClose (source s)
	7	{
	8	// free (s->file);
	9	(void) fclose (s->file);
b072092f	10	} /* error - scope exits with file closed */