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

   1 /* { dg-options "-O2" }  */
   2
   3 extern void foo (void);
   4 extern void bar (void);
   5
   6 void
   7 test (int i)
   8 {
   9   if (i == 1)
  10     return;
  11
  12   typedef int t;
  13   t j = i;
  14   switch (j)
  15     {
  16     case 1:
  17     case 2:
  18       foo ();
  19       break;
  20     case 7:
  21       bar ();
  22       break;
  23     }
  24 }