root/usr/src/tools/smatch/src/validation/mem2reg/init-local-array.c
static int array(void)
{
        int a[2];

        a[1] = 1;
        a[0] = 0;
        return a[1];
}

static int sarray(void)
{
        struct {
                int a[2];
        } s;

        s.a[1] = 1;
        s.a[0] = 0;
        return s.a[1];
}

/*
 * check-name: init local array
 * check-command: test-linearize $file
 * check-output-ignore
 * check-output-excludes: load
 * check-output-excludes: store
 * check-output-pattern(2): ret.32 *\\$1
 */