1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-vrp1" } */ 3 4 void bar (void); 5 6 void foo(int a)7foo (int a) 8 { 9 switch (a) 10 { 11 case 4: 12 if (a >= 3) 13 if (a <= 5) 14 bar (); 15 } 16 } 17 18 /* Both ifs should be optimized (and switch statement will be the only if 19 in the function). */ 20 /* { dg-final { scan-tree-dump-times "if \\\(" 1 "vrp1" } } */ 21