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 }