validation/kill-casts.c

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