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)10 test (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