xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/and-or-bf0.c (revision cd61ae21816e53b94bc1673f3f1aa651fc3115e8)
1 struct s {
2 	int f:3;
3 };
4 
5 void foo(struct s *p, int a)
6 {
7 	p->f = 1;
8 	p->f = a;
9 }
10 
11 void bar(struct s *p, int a)
12 {
13 	p->f = a;
14 	p->f = 1;
15 }
16 
17 /*
18  * check-name: and-or-bf0
19  * check-command: test-linearize -Wno-decl $file
20  *
21  * check-output-ignore
22  * check-output-pattern(3): and\\.
23  * check-output-pattern(2): or\\.
24  */
25