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