1  /* { dg-do compile { target powerpc*-*-* ia64-*-* i?86-*-* x86_64-*-* } } */
       2  /* { dg-options "-O -fschedule-insns2 -fsel-sched-pipelining -fsel-sched-pipelining-outer-loops -fselective-scheduling2 --param max-sched-extend-regions-iters=2"  } */
       3  
       4  void foo (int y)
       5  {
       6    switch (y)
       7      {
       8      case 3:
       9      case 5:
      10      case 7:
      11      case 11:
      12        break;
      13      default:
      14        __builtin_unreachable ();
      15      }
      16  }
      17