xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/sext.c (revision 3b436d06bb95fd180ef7416b2b1b9972e2f2a513)
1 int sext(int x)
2 {
3 	return (x << 5) >> 5;
4 }
5 
6 /*
7  * check-name: sext
8  * check-command: test-linearize -Wno-decl $file
9  * check-known-to-fail
10  *
11  * check-output-ignore
12  * check-output-contains: sext\\.$27
13  * check-output-excludes: asr\\.
14  * check-output-excludes: shl\\.
15  */
16