1 /* { dg-options "-O2 -fdump-tree-vrp1" } */ 2 /* { dg-final { scan-tree-dump "case 2:" "vrp1" } } */ 3 /* { dg-final { scan-tree-dump "case 7 ... 8:" "vrp1" } } */ 4 5 extern void foo (void); 6 extern void bar (void); 7 extern void baz (void); 8 9 void test(int i)10test (int i) 11 { 12 if (i >= 2 && i <= 8) 13 switch (i) 14 { 15 case 1: /* Redundant label. */ 16 case 2: 17 bar (); 18 break; 19 case 7: 20 case 8: 21 case 9: /* Redundant label. */ 22 baz (); 23 break; 24 } 25 } 26