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
f3(int s)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
main()31 main ()
32 {
33   return 0;
34 }
35