xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/trunc-seteq0.c (revision b531f6d16eb39863e7bbc34773fb7ef7a282a0a2)
1 struct S {
2 	         int  :1;
3 	  signed int s:2;
4 	unsigned int u:3;
5 };
6 
7 int os(int i, struct S *b) { return i || b->s; }
8 int ou(int i, struct S *b) { return i || b->u; }
9 
10 /*
11  * check-name: trunc-seteq0
12  * check-command: test-linearize -Wno-decl $file
13  *
14  * check-output-ignore
15  * check-output-excludes: trunc\\.
16  * check-output-excludes: sext\\.
17  * check-output-excludes: zext\\.
18  */
19