[splint.git] / test / glob.c

int x;
int y;
int z;

int useGlob (int a)
{
  a = x + y;
  return (a + x + y) ;
}

int dontuseGlob (int a)
{
  return (x + a);
}

int unspec (int a)
{
  return (y + z + a);
}

int callsUseGlob (int a)
{
  return (useGlob(a));
}
Commit	Line	Data
885824d3	1	int x;
	2	int y;
	3	int z;
	4
	5	int useGlob (int a)
	6	{
	7	a = x + y;
	8	return (a + x + y) ;
	9	}
	10
	11	int dontuseGlob (int a)
	12	{
	13	return (x + a);
	14	}
	15
	16	int unspec (int a)
	17	{
	18	return (y + z + a);
	19	}
	20
	21	int callsUseGlob (int a)
	22	{
	23	return (useGlob(a));
	24	}
	25
	26
	27
	28