[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;
}
Commit	Line	Data
8f58355a	1
	2	int main(void) {
	3
	4	int buf[]={0,0,0,0,0,0,0,0,0,0};
	5	int buf1[]={0,0,0,0,0,0,0,0,0,0};
	6
	7
	8	buf[10] = 0;
	9	buf1[9] = 0;
	10
	11	return 0;
	12	}