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

   1 /* { dg-do link { target int32plus } } */
   2 /* { dg-options "-O2 -fdump-tree-fre1 -fdump-tree-evrp" } */
   3
   4 extern void link_error ();
   5 void foo (int a)
   6 {
   7   if (a < 0)
   8     {
   9       int y;
  10       a = -a;
  11       y  = a / 7;
  12       y = y * 2;
  13       if (y > 1 << 30)
  14         link_error ();
  15     }
  16 }
  17
  18 int main()
  19 {
  20   return 0;
  21 }
  22
  23 /* { dg-final { scan-tree-dump-times "link_error" 1 "fre1" } } */
  24 /* { dg-final { scan-tree-dump-times "link_error" 0 "evrp" } } */