[splint.git] / test / moreBufferTests / simplifyTest.c

void fooSub (   char *s, int i)
{
  s[i] = 'd';
  s[i - 2] = 'd';
}

void fooAdd (   char *s, int i)
{
  s[i] = 'd';
  s[i + 2] = 'd';

}
Commit	Line	Data
dcf136ce	1	void fooSub ( char *s, int i)
	2	{
	3	s[i] = 'd';
	4	s[i - 2] = 'd';
	5	}
	6
	7	void fooAdd ( char *s, int i)
	8	{
	9	s[i] = 'd';
	10	s[i + 2] = 'd';
	11
	12	}