gcc/testsuite/gcc.dg/tree-ssa/vrp117.c

   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" } } */