[splint.git] / test / tclauses / undef.c

extern int glob;
extern /*@only@*/ int *ogp;

int f (void) /*@globals undef glob, killed ogp;@*/
{
  free (ogp);
  return glob;
}

# if 0
static int sglob;
static /*@only@*/ int *sogp;

int f1 (void) /*@globals undef sglob, killed sogp;@*/
{
  free (sogp);
  return sglob;
}

# endif
Commit	Line	Data
80ee600a	1	extern int glob;
	2	extern /@only@/ int *ogp;
	3
	4	int f (void) /@globals undef glob, killed ogp;@/
	5	{
	6	free (ogp);
	7	return glob;
	8	}
	9
	10	# if 0
	11	static int sglob;
	12	static /@only@/ int *sogp;
	13
	14	int f1 (void) /@globals undef sglob, killed sogp;@/
	15	{
	16	free (sogp);
	17	return sglob;
	18	}
	19
	20	# endif