root/usr/src/tools/smatch/src/validation/mem2reg/address-used00.c
int foo(int **g, int j)
{
        int i = 1;
        int *a;
        int **p;

        a = &i;
        p = &a;
        *p[0] = 0;
        return i;
}

/*
 * check-name: address-used00
 * check-command: test-linearize -Wno-decl -fdump-ir=final $file
 * check-output-ignore
 * check-output-excludes: ret\\..* \\$1
 */