[splint.git] / test / decl.c

int test(int);

int main()
{
  int (*y)(int) = &test;
  int (**x)(int) = &y;
  x(10);  /* called object is not a function */
}

static /*@unused@*/ void foo1(void)
{
  int buf[10];
  buf[10] = 3;
}


static /*@unused@*/ void foo(void) 
{ 
  float *array = NULL; 
  size_t /*@unused@*/ size = sizeof(array[0]); 
}
Commit	Line	Data
885824d3	1	int test(int);
	2
	3	int main()
	4	{
	5	int (*y)(int) = &test;
	6	int (**x)(int) = &y;
	7	x(10); /* called object is not a function */
	8	}
768a340a	9
	10	static /@unused@/ void foo1(void)
	11	{
	12	int buf[10];
	13	buf[10] = 3;
	14	}
	15
	16
	17	static /@unused@/ void foo(void)
	18	{
	19	float *array = NULL;
	20	size_t /@unused@/ size = sizeof(array[0]);
	21	}