[splint.git] / test / tests2.2a / arrayparam.c

int f1(int x[2][]) /* bad */
{
  return x[2][3];
}

int f2(int x[][2]) /* okay */
{
  return x[2][3];
}

int f3(int x[][]) /* bad */
{
  return x[2][3];
}

int f4(int x[][][2]) /* bad */
{
  return x[2][3][1];
}

int f5(int x[2][][2]) /* bad */
{
  return x[2][3][1];
}

int f6(int x[][2][2]) /* okay */
{
  return x[2][3][1];
}
Commit	Line	Data
885824d3	1	int f1(int x[2][]) /* bad */
	2	{
	3	return x[2][3];
	4	}
	5
	6	int f2(int x[][2]) /* okay */
	7	{
	8	return x[2][3];
	9	}
	10
	11	int f3(int x[][]) /* bad */
	12	{
	13	return x[2][3];
	14	}
	15
	16	int f4(int x[][][2]) /* bad */
	17	{
	18	return x[2][3][1];
	19	}
	20
	21	int f5(int x[2][][2]) /* bad */
	22	{
	23	return x[2][3][1];
	24	}
	25
	26	int f6(int x[][2][2]) /* okay */
	27	{
	28	return x[2][3][1];
	29	}
	30