1  /* { dg-do link } */
       2  /* { dg-options "-O2" } */
       3  
       4  /* Based on f3 from vrp63.c, but with switch instead of if-chain.  */
       5  
       6  extern void link_error (void);
       7  
       8  void
       9  f3 (int s)
      10  {
      11    if (s >> 3 == -2)
      12      /* s in range [ -16, -9].  */
      13      ;
      14    else
      15      {
      16        /* s in range ~[-16, -9], so none of the case labels can be taken.  */
      17        switch (s)
      18  	{
      19  	case -16:
      20  	case -12:
      21  	case -9:
      22  	  link_error ();
      23  	  break;
      24  	default:
      25  	  break;
      26  	}
      27      }
      28  }
      29  
      30  int
      31  main ()
      32  {
      33    return 0;
      34  }