int a[] = {1, 2, 3, 4};
char *b = "abc";
char c[4];
char d[4] = "";

int x;
static int options_write(void)
{
	int i;
	char *str = b;
	char *str2 = "123";
	char *str3;
	char *str4;
	char *str5;
	unsigned int j = 4;

	str3 = str2;
	str4 = str;
	if (x)
		str5 = "asdf";
	else
		str5 = "aa";

	for (i = 0; i < 4 && frob(); i++)
		;
	a[i] = 42;
	b[i] = '\0';
	c[i] = '\0';
	str[j] = '\0';
	str2[j] = '\0';
	str3[j] = '\0';
	str4[j] = '\0';
	str5[j] = '\0';
	d[j] = '\0';
}
/*
 * check-name: smatch array check
 * check-command: smatch --spammy sm_array_overflow.c
 *
 * check-output-start
sm_array_overflow.c:26 options_write() error: buffer overflow 'a' 4 <= 4
sm_array_overflow.c:27 options_write() error: buffer overflow 'b' 4 <= 4
sm_array_overflow.c:28 options_write() error: buffer overflow 'c' 4 <= 4
sm_array_overflow.c:29 options_write() error: buffer overflow 'str' 4 <= 4
sm_array_overflow.c:30 options_write() error: buffer overflow 'str2' 4 <= 4
sm_array_overflow.c:31 options_write() error: buffer overflow 'str3' 4 <= 4
sm_array_overflow.c:32 options_write() error: buffer overflow 'str4' 4 <= 4
sm_array_overflow.c:34 options_write() error: buffer overflow 'd' 4 <= 4
 * check-output-end
 */