db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / kill-casts.c
blob2aa53fdaf3f70a54f05a31915f00b7bf34f19a74
1 extern void __abort(void);
3 struct s {
4 int elem:3;
5 };
7 void foo(struct s *x);
8 void foo(struct s *x)
10 if (x->elem == 0) {
11 if (x->elem != 0 && x->elem != 1)
12 __abort();
17 * check-name: kill-casts
18 * check-command: test-linearize $file
20 * check-output-ignore
21 * check-output-excludes: cast\\.
22 * check-output-excludes: fcvt[us]\\.
23 * check-output-excludes: utptr\\.
24 * check-output-excludes: ptrtu\\.
25 * check-output-excludes: [sz]ext\\.
26 * check-output-excludes: trunc\\.