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