[splint.git] / test / oldstyle.c

int f1 (x, y)
{
  int z;

  z = *y; /* 1. Dereference of non-pointer (int): *y */

  return z + x;
}

int f2 (/*@unused@*/ x) /* 2. Function f2 declared with 1 arg, specified with 2 */
{
  return 3;
}

int f3 (x, y)
   int x;
   /*@unused@*/ char y; /* 3. Parameter 2, y, of function f3 has inconsistent type */
{
  return x;
}
Commit	Line	Data
885824d3	1	int f1 (x, y)
	2	{
	3	int z;
	4
	5	z = y; / 1. Dereference of non-pointer (int): y /
	6
	7	return z + x;
	8	}
	9
	10	int f2 (/@unused@/ x) /* 2. Function f2 declared with 1 arg, specified with 2 */
	11	{
	12	return 3;
	13	}
	14
	15	int f3 (x, y)
	16	int x;
	17	/@unused@/ char y; /* 3. Parameter 2, y, of function f3 has inconsistent type */
	18	{
	19	return x;
	20	}
	21
	22