[splint.git] / test / tests2.2 / sizeofarray.c

int f (int x[32])
{
  int a[23];

  if (sizeof(x) == 3)
    {
      return 1;
    }

  return sizeof(a);
}
Commit	Line	Data
885824d3	1	int f (int x[32])
	2	{
	3	int a[23];
	4
	5	if (sizeof(x) == 3)
	6	{
	7	return 1;
	8	}
	9
	10	return sizeof(a);
	11	}