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


void t()
{
  char g [100];
  char j [23];
  j[22] = 'd';  /*safe */
  g[0] = 'd';  /*   safe */
  g[67] = 'f;'; /*     safe */
  g[101] = 'g'; /*    unsafe */
  g[100] = 'f'; /*    unsafe */
}
Commit	Line	Data
41320549	1
	2	void t()
	3	{
	4	char g [100];
	5	char j [23];
	6	j[22] = 'd'; /safe /
	7	g[0] = 'd'; /* safe */
	8	g[67] = 'f;'; /* safe */
	9	g[101] = 'g'; /* unsafe */
	10	g[100] = 'f'; /* unsafe */
	11	}