#include <stdio.h>
#include <string.h>

#define ARRAY_SIZE(x) (sizeof(x)/sizeof((x)[0]))

long long a[] = {1, 2};

int main(char *arg0)
{
	short *s = a;
	short *s2 = (&(a));
	char buf[4], buf2[4];
	int i;

	printf("%d\n", s[1]);
	printf("%d\n", s[2]);
	printf("%d\n", s[3]);
	printf("%d\n", s[4]);
	printf("%d\n", s[5]);
	printf("%d\n", s[6]);
	printf("%d\n", s[7]);
	printf("%d\n", s[8]);
	printf("%d\n", s2[8]);
	printf("%d\n", ((short *)a)[6]);
	printf("%d\n", ((short *)a)[8]);
	strcpy(buf, "1234");
	strcpy(buf2, arg0);

	return 0;
}
/*
 * check-name: smatch overflow check #4
 * check-command: smatch --spammy sm_array_overflow4.c
 *
 * check-output-start
sm_array_overflow4.c:22 main() error: buffer overflow 's' 8 <= 8
sm_array_overflow4.c:23 main() error: buffer overflow 's2' 8 <= 8
sm_array_overflow4.c:25 main() error: buffer overflow 'a' 8 <= 8
sm_array_overflow4.c:26 main() error: strcpy() '"1234"' too large for 'buf' (5 vs 4)
sm_array_overflow4.c:27 main() warn: strcpy() 'arg0' of unknown size might be too large for 'buf2'
 * check-output-end
 */