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

void initialization (char *d)
{
  char *e =  d;
  {
    char g = e[22];
    char *f = e;
  e[2] = 'd';
  f[2] = 'l';
  }
}
Commit	Line	Data
dcf136ce	1	void initialization (char *d)
	2	{
	3	char *e = d;
	4	{
	5	char g = e[22];
	6	char *f = e;
	7	e[2] = 'd';
	8	f[2] = 'l';
	9	}
	10	}
	11