xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/bitfield-store-loadu.c (revision 0aaef2f550fa500248f59b0b8a14225b5afbd198)
1 struct s {
2 	unsigned int :2;
3 	unsigned int f:3;
4 };
5 
6 int foo(struct s s, int a)
7 {
8 	s.f = a;
9 	return s.f;
10 }
11 
12 /*
13  * check-name: bitfield-store-load unsigned
14  * check-command: test-linearize -Wno-decl $file
15  *
16  * check-output-ignore
17  * check-output-excludes: shl\\.
18  * check-output-excludes: lsr\\.
19  * check-output-excludes: or\\.
20  * check-output-pattern(1): and\\.
21  */
22