]>
Commit | Line | Data |
---|---|---|
d0d8b5d8 AM |
1 | /* { dg-do compile } */ |
2 | /* { dg-options "-O2 -fdump-tree-evrp" } */ | |
3 | ||
4 | void kill (void); | |
5 | ||
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 | ||
d0d8b5d8 AM |
15 | if (b >= 5) |
16 | kill ();; | |
17 | } | |
f7556039 AM |
18 | |
19 | /* { dg-final { scan-tree-dump-not "kill" "evrp" } } */ | |
20 |