[splint.git] / test / globals2.c

extern int glob1;

int f (void) /*@globals glob1@*/
{
  return glob1;
}
	    
int g (void) /*@globals glob2@*/ /*@globals glob1@*/
{
  return f();
}
Commit	Line	Data
80ee600a	1	extern int glob1;
	2
	3	int f (void) /@globals glob1@/
	4	{
	5	return glob1;
	6	}
	7
	8	int g (void) /@globals glob2@/ /@globals glob1@/
	9	{
	10	return f();
	11	}