void init(int *x);

static int foo(void)
{
        int a[2] = { 0, 123, };

        if (a[1] != 123)
                return 1;
        init(a);
        if (a[1] == 123)
                return 2;
        return 0;
}

#if 0
void init(int *x)
{
        x[0] = x[1] = 0;
}
#endif

/*
 * check-name: live-stores
 * check-command: test-linearize $file
 *
 * check-output-ignore
 * check-output-contains: store.32 *\\$123
 * check-output-pattern(2,3): store\\.
 */