| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fdump-tree-vrp1 -fdisable-tree-evrp" } */ | |
| int f(int a) { | |
| switch (a & 1) { | |
| case 0: | |
| case 1: return 3; | |
| case 2: return 5; | |
| case 3: return 7; | |
| case 4: return 11; | |
| case 5: return 13; | |
| case 6: return 17; | |
| case 7: return 19; | |
| } | |
| } | |
| /* { dg-final { scan-tree-dump "return 3;" "vrp1" { xfail *-*-* } } } */ |