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