xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/shift-special.c (revision b30d193948be5a7794d7ae3ba0ed9c2f72c88e0f)
1 long shift(long a, short b);
2 long shift(long a, short b)
3 {
4 	long r1 = a << b;
5 	long r2 = b << a;
6 
7 	return r1 + r2;
8 }
9 
10 /*
11  * check-name: shift-special
12  * check-command: sparsec -c $file -o tmp.o
13  */
14