[splint.git] / test / for / for.c

void f()
{
int j, i;
char s[11];
char t[11];
for (j = 0; j <= 10; j++)
  {
    s[j] = '\0';
  }

for (i = 0; i <= 11; i++)
  {
    t[i] = '\0';
  }

}
Commit	Line	Data
23e02467	1	void f()
23e02467	2	{
a7b6931c	3	int j, i;
23e02467	4	char s[11];
23e02467	5	char t[11];
a7b6931c	6	for (j = 0; j <= 10; j++)
23e02467	7	{
a7b6931c	8	s[j] = '\0';
23e02467	9	}
	10
	11	for (i = 0; i <= 11; i++)
	12	{
	13	t[i] = '\0';
	14	}
	15
	16	}