1 /* PR tree-optimization/18046 */
2 /* { dg-options "-O2 -fdump-tree-vrp1-details" } */
3 /* { dg-final { scan-tree-dump-times "Threaded jump" 1 "vrp1" } } */
4 /* During VRP we expect to thread the true arm of the conditional through the switch
5 and to the BB that corresponds to the 7 ... 9 case label. */
6 extern void foo (void);
7 extern void bar (void);
8 extern void baz (void);
9
10 void
test(int i)11 test (int i)
12 {
13 if (i >= 7 && i <= 8)
14 foo ();
15
16 switch (i)
17 {
18 case 1:
19 bar ();
20 break;
21 case 7:
22 case 8:
23 case 9:
24 baz ();
25 break;
26 }
27 }
28