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