| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fdump-tree-evrp" } */ | |
| void kill (void); | |
| void foo (unsigned int arg) | |
| { | |
| unsigned int C000003FE = 4; | |
| if (arg + 1 < 4) // work for if (arg < 3) | |
| C000003FE = 0x1 << arg; | |
| if (C000003FE >= 5) | |
| kill (); | |
| } | |
| /* { dg-final { scan-tree-dump-not "kill" "evrp" } } */ |