db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / trunc-seteq0.c
blob5994b17cd91539f6ba63d956425b3edd544a7146
1 struct S {
2 int :1;
3 signed int s:2;
4 unsigned int u:3;
5 };
7 int os(int i, struct S *b) { return i || b->s; }
8 int ou(int i, struct S *b) { return i || b->u; }
11 * check-name: trunc-seteq0
12 * check-command: test-linearize -Wno-decl $file
14 * check-output-ignore
15 * check-output-excludes: trunc\\.
16 * check-output-excludes: sext\\.
17 * check-output-excludes: zext\\.