[splint.git] / test / moreBufferTests2 / def.c

#define SIZE 10

static void foo()
{
  char str[SIZE];

  str[SIZE -1 ] = 'd';

  str[SIZE] = 'd';
}
Commit	Line	Data
5ca29538	1	#define SIZE 10
	2
	3	static void foo()
	4	{
	5	char str[SIZE];
	6
	7	str[SIZE -1 ] = 'd';
	8
	9	str[SIZE] = 'd';
	10	}