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