+
−/* { dg-do compile { target powerpc*-*-* ia64-*-* i?86-*-* x86_64-*-* } } */
+
−/* { dg-options "-O -fschedule-insns2 -fsel-sched-pipelining -fsel-sched-pipelining-outer-loops -fselective-scheduling2 --param max-sched-extend-regions-iters=2"  } */
+
−
+
−void foo (int y)
+
−{
+
−  switch (y)
+
−    {
+
−    case 3:
+
−    case 5:
+
−    case 7:
+
−    case 11:
+
−      break;
+
−    default:
+
−      __builtin_unreachable ();
+
−    }
+
−}
+
−