[splint.git] / test / manual / annotglobs.c

int globnum;

struct { 
  char *firstname, *lastname;
  int id; 
} globname;

void 
initialize (/*@only@*/ char *name)
  /*@globals undef globnum,
             undef globname @*/
{
  globname.id = globnum;
  globname.lastname = name;
}
 
void finalize (void)
   /*@globals killed globname@*/
{
  free (globname.lastname);
}
Commit	Line	Data
77970e15	1	int globnum;
	2
	3	struct {
	4	char firstname, lastname;
	5	int id;
	6	} globname;
	7
	8	void
	9	initialize (/@only@/ char *name)
	10	/*@globals undef globnum,
	11	undef globname @*/
	12	{
	13	globname.id = globnum;
	14	globname.lastname = name;
	15	}
	16
	17	void finalize (void)
	18	/@globals killed globname@/
	19	{
	20	free (globname.lastname);
	21	}