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" } } */