1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-evrp" } */
3 
4 void kill (void);
5 
foo(unsigned int arg)6 void foo (unsigned int arg)
7 {
8   int a = arg - 3;
9   unsigned int b = 4;
10   int x = 0x1 << arg;
11 
12   if (a < 0)
13     b = x;
14 
15   /* In the fullness of time, we will delete this call.  */
16   if (b >=  5)
17     kill ();;
18 }
19