xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/shift-special.c (revision 8a2b682e57a046b828f37bcde1776f131ef4629f)
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