1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1 -fno-tree-ccp" } */
3 
4 int
foo(unsigned int i,unsigned int j)5 foo (unsigned int i, unsigned int j)
6 {
7   i &= 15;
8   j &= 15;
9   i += 1024;
10   j += 2048;
11   i |= j;
12   return i >= 1024 + 2048;
13 }
14 
15 /* { dg-final { scan-tree-dump-times "return 1;" 1 "vrp1" } } */
16