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 }