[splint.git] / test / moreBufferTests2 / arrayConstExpr.c


/*@constant int MYSIZE=10@*/

void arrayExpr()
{
  char string1[2 + 4];

  char string2 [MYSIZE + 1];

  string1[5] = 'd';
  string2[MYSIZE - 1] = 'w';
 string2[MYSIZE] = 'w';
}
Commit	Line	Data
30585c35	1
	2	/@constant int MYSIZE=10@/
	3
	4	void arrayExpr()
	5	{
	6	char string1[2 + 4];
	7
	8	char string2 [MYSIZE + 1];
	9
	10	string1[5] = 'd';
	11	string2[MYSIZE - 1] = 'w';
	12	string2[MYSIZE] = 'w';
	13	}