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  }