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