(root)/
gcc-13.2.0/
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  }