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
      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" } } */