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

   1 /* { dg-options "-O2 -fdump-tree-vrp1" }  */
   2 /* { dg-final { scan-tree-dump "case 1:" "vrp1" } }  */
   3 /* { dg-final { scan-tree-dump "case 9:" "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:
  16     case 2: /* Redundant label.  */
  17       bar ();
  18       break;
  19     case 7: /* Redundant label.  */
  20     case 8: /* Redundant label.  */
  21     case 9:
  22       baz ();
  23       break;
  24     }
  25 }