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