Imported Upstream version 4.8.1
[platform/upstream/gcc48.git] / gcc / testsuite / gcc.dg / tree-ssa / vrp78.c
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 }