gcc/testsuite/gcc.c-torture/execute/vrp-7.c

   1
   2 void abort (void);
   3
   4 struct T
   5 {
   6   int b : 1;
   7 } t;
   8
   9 void __attribute__((noinline)) foo (int f)
  10 {
  11   t.b = (f & 0x10) ? 1 : 0;
  12 }
  13
  14 int main (void)
  15 {
  16   foo (0x10);
  17   if (!t.b)
  18     abort ();
  19   return 0;
  20 }