noexpand always false.

[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';
}