1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-evrp" } */ 3 4 void kill (void); 5 foo(unsigned int arg)6void 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