1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-evrp" } */
       3  
       4  extern void link_error ();
       5  
       6  void
       7  f3 (unsigned int s)
       8  {
       9    if ((s & 0x3cc0) == 0)
      10      {
      11        if (s >= -15552U)
      12  	link_error ();
      13      }
      14    else
      15      {
      16        if (s <= 0x3f)
      17  	link_error ();
      18      }
      19  }
      20  
      21  /* { dg-final { scan-tree-dump-not "link_error" "evrp" } } */