modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/vrp-7.c (about)

     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  }