[splint.git] / test / simplebufferConstraintTests / test7.c


void t(char *g, char *j )
{
  g++;
  g++;
  g[2] = 'l';
  g[0] = g[2];
  j[0] = 'l';
  j++;
  j++;
}
Commit	Line	Data
41320549	1
	2	void t(char g, char j )
	3	{
	4	g++;
	5	g++;
	6	g[2] = 'l';
	7	g[0] = g[2];
	8	j[0] = 'l';
	9	j++;
	10	j++;
	11	}