[splint.git] / test / buffertest1.c

void t1 (void)
{
  char *g;
  
  g[100] = 'f';

  {
    g++;
    
    g[0] = '1';  
    g[67] = g[70];
    g[98] = g[99];
    g[90]  = g[3];
  }
}

void t2 (void)
{
  char *g;
  g++;
  g[0] = g[1];
}
Commit	Line	Data
a469ccf0	1	void t1 (void)
2ebf1c39	2	{
2ebf1c39	3	char *g;
a469ccf0	4
2ebf1c39	5	g[100] = 'f';
a469ccf0	6
2ebf1c39	7	{
2ebf1c39	8	g++;
a469ccf0	9
2ebf1c39	10	g[0] = '1';
	11	g[67] = g[70];
	12	g[98] = g[99];
	13	g[90] = g[3];
	14	}
	15	}
a469ccf0	16
	17	void t2 (void)
	18	{
	19	char *g;
	20	g++;
	21	g[0] = g[1];
	22	}