root/usr/src/tools/smatch/src/validation/mem2reg/alias-distinct.c
extern int g;
extern int h;

static int foo(void)
{
        g = 1;
        h = 2;
        return g == 1;
}

/*
 * check-name: alias distinct symbols
 * check-command: test-linearize $file
 * check-output-ignore
 *
 * check-output-contains: ret\\..* *\\$1
 */