]>
Commit | Line | Data |
---|---|---|
344be1fd RB |
1 | /* { dg-do compile } */ |
2 | /* { dg-options "-O2 -fdump-tree-evrp" } */ | |
3 | ||
4 | void link_error (void); | |
5 | ||
6 | void foo (int i) | |
7 | { | |
8 | if (i > __INT_MAX__ - 10) | |
9 | { | |
10 | int j = i * 10; | |
11 | if (j < i) | |
12 | link_error (); | |
13 | } | |
14 | } | |
15 | ||
16 | /* { dg-final { scan-tree-dump-not "link_error" "evrp" } } */ |