root/usr/src/tools/smatch/src/validation/backend/shift-special.c
long shift(long a, short b);
long shift(long a, short b)
{
        long r1 = a << b;
        long r2 = b << a;

        return r1 + r2;
}

/*
 * check-name: shift-special
 * check-command: sparsec -c $file -o tmp.o
 */