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

#include <stdio.h>

typedef int Array[10];

int fixedArrayTouch()
{
  Array buffer;

  buffer[ sizeof(Array)-1] = 1;

  return 0;
}
Commit	Line	Data
e7af8598	1	#include <stdio.h>
	2
	3	typedef int Array[10];
	4
	5	int fixedArrayTouch()
	6	{
	7	Array buffer;
	8
46edc85c	9	buffer[ sizeof(Array)-1] = 1;
e7af8598	10
	11	return 0;
	12	}