1  /* { dg-do link } */
       2  /* { dg-options "-O2 -fno-tree-switch-conversion" } */
       3  
       4  extern void link_error (void);
       5  
       6  /* Test <<.  */
       7  
       8  void
       9  f3 (int s, int b)
      10  {
      11    if (s >> 3 == -2)
      12      /* s in range [-16, -9].  */
      13      {
      14        s += 17;
      15        /* s in range [1, 8].  */
      16        b = (b & 1) + 1;
      17        /* b in range [1, 2].  */
      18        b =  b << s;
      19        /* b in range [bmin << smin, bmax << smax],
      20                      == [1 << 1, 2 << 8]
      21                      == [2, 512].  */
      22        if (b == 1 || b == 513)
      23  	link_error ();
      24      }
      25  }
      26  
      27  int
      28  main ()
      29  {
      30    return 0;
      31  }
      32  
      33