gcc/testsuite/gcc.dg/tree-ssa/vrp107.c

   1 /* { dg-options "-O2 -fdump-tree-vrp1" }  */
   2 /* { dg-final { scan-tree-dump "case 2:" "vrp1" } }  */
   3 /* { dg-final { scan-tree-dump "case 7 ... 8:" "vrp1" } }  */
   4
   5 extern void foo (void);
   6 extern void bar (void);
   7 extern void baz (void);
   8
   9 void
  10 test (int i)
  11 {
  12   if (i >= 2 && i <= 8)
  13   switch (i)
  14     {
  15     case 1: /* Redundant label.  */
  16     case 2:
  17       bar ();
  18       break;
  19     case 7:
  20     case 8:
  21     case 9: /* Redundant label.  */
  22       baz ();
  23       break;
  24     }
  25 }