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  }