gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/vrp74.c


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

/* { dg-options "-O2" } */

void abort (void);
void exit (int);

__attribute__ ((noinline)) void
f (unsigned long long i)
{
  if (i <= 0x1000000000000000ull)
    {
      unsigned long long j = i | 0x1000000000000000ull;
      if (j == 0x1100000000000000ull)
	exit (0);
    }
}

int
main ()
{
  f (0x0100000000000000ull);
  abort ();
}