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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20


void abort (void);

struct T
{
  int b : 1;
} t;

void __attribute__((noinline)) foo (int f)
{
  t.b = (f & 0x10) ? 1 : 0;
}

int main (void)
{
  foo (0x10);
  if (!t.b)
    abort ();
  return 0;
}