xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/and-or-mask.c (revision 3b436d06bb95fd180ef7416b2b1b9972e2f2a513)
1 int foo(int a, int b)
2 {
3 	return ((a & 7) | (b & 3)) & 8;
4 }
5 
6 /*
7  * check-name: and-or-mask
8  * check-command: test-linearize -Wno-decl $file
9  *
10  * check-output-start
11 foo:
12 .L0:
13 	<entry-point>
14 	ret.32      $0
15 
16 
17  * check-output-end
18  */
19