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