Fixed off by one bug involving arrays initialized with a block of values.

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

int main(void) {
  
  int buf[]={0,0,0,0,0,0,0,0,0,0};
  int buf1[]={0,0,0,0,0,0,0,0,0,0};
  

  buf[10] = 0;
  buf1[9]  = 0;
  
  return 0;
}