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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   3
   4 void bar0 (void);
   5 void bar1 (void);
   6 void bar2 (void);
   7 void bar3 (void);
   8
   9 void
  10 foo (int a)
  11 {
  12   if (a < 100)
  13     return;
  14   if (200 < a)
  15     return;
  16
  17   switch (a)
  18     {
  19     case  99: bar0 (); return;
  20     case 100: bar1 (); return;
  21     case 101: bar2 (); return;
  22     case 102: bar3 (); return;
  23     }
  24 }
  25
  26 /* { dg-final { scan-tree-dump-not "case 99:" "vrp1" } } */