#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
 */