[splint.git] / test / glob.lcl

int x, y, z;

int useGlob (int a) int x, y, z; 
{
   ensures true;
}

int dontuseGlob (int a)
{
   ensures true;
}

int callsUseGlob (int a) int x;
{
  ensures true;
}
Commit	Line	Data
885824d3	1	int x, y, z;
	2
	3	int useGlob (int a) int x, y, z;
	4	{
	5	ensures true;
	6	}
	7
	8	int dontuseGlob (int a)
	9	{
	10	ensures true;
	11	}
	12
	13	int callsUseGlob (int a) int x;
	14	{
	15	ensures true;
	16	}