1 extern void __abort(void);
2
3 struct s {
4 int elem:3;
5 };
6
7 void foo(struct s *x);
8 void foo(struct s *x)
9 {
10 if (x->elem == 0) {
11 if (x->elem != 0 && x->elem != 1)
12 __abort();
13 }
14 }
15
16 /*
17 * check-name: kill-casts
18 * check-command: test-linearize $file
19 *
20 * check-output-ignore
21 * check-output-excludes: cast\\.
22 */