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 */