1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3 
f(int a)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" { xfail *-*-* } } } */
18