1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3 
4 void bar0 (void);
5 void bar1 (void);
6 void bar2 (void);
7 void bar3 (void);
8 
9 void
foo(int a)10 foo (int a)
11 {
12   if (a < 100)
13     return;
14   if (200 < a)
15     return;
16 
17   switch (a)
18     {
19     case  99: bar0 (); return;
20     case 100: bar1 (); return;
21     case 101: bar2 (); return;
22     case 102: bar3 (); return;
23     }
24 }
25 
26 /* { dg-final { scan-tree-dump-not "case 99:" "vrp1" } } */
27