root/usr/src/tools/smatch/src/validation/optim/missing-select.c
static int foo(int **g)
{
        int i = 1;
        int *a[2];
        int **p;

        a[1] = &i;
        if (g)
                p = g;
        else
                p = &a[0];
        if (!g)
                **p = 0;
        return i;
}

/*
 * check-name: missing-select
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-contains: select\\.
 */