root/usr/src/tools/smatch/src/validation/kill-phisrc.c
int foo(int a, int b)
{
        int r = a + b;

        if (a && 0) {
                int s = r;
                if (b)
                        s = 0;
                (void) s;
        }

        return 0;
}

/*
 * check-name: kill-phisrc
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-excludes: add\\.
 */