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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1 -fno-tree-switch-conversion" } */
   3
   4 int f(int a) {
   5     switch (a & 1) {
   6       case 0:
   7       case 1: return  3;
   8       case 2: return  5;
   9       case 3: return  7;
  10       case 4: return 11;
  11       case 5: return 13;
  12       case 6: return 17;
  13       case 7: return 19;
  14     }
  15 }
  16
  17 /* { dg-final { scan-tree-dump "return 3;" "vrp1" } } */