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

/* PR tree-optimization/18046  */
/* { dg-options "-O2 -fdump-tree-switchlower" }  */
/* We scan for 2 switches as the dump file reports a transformation,
   IL really contains just a single.  */
/* { dg-final { scan-tree-dump-times "switch \\(" 2 "switchlower1" } }  */

void foo (void);
void bar (void);
void baz (void);

void
test (int i)
{
  switch (i)
    {
    case 1:
      foo ();
      break;
    case 2:
      bar ();
      break;
    default:
      break;
    }

  /* This switch should be gone after threading/VRP.  */
  switch (i)
    {
    case 1:
      foo ();
      break;
    case 2:
      baz ();
      break;
    default:
      break;
    }
}