(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
tree-ssa/
vrp110.c
       1  /* { dg-options "-O2" }  */
       2  
       3  extern void foo (void);
       4  extern void bar (void);
       5  
       6  void
       7  test (int i)
       8  {
       9    if (i == 1)
      10      return;
      11  
      12    typedef int t;
      13    t j = i;
      14    switch (j)
      15      {
      16      case 1:
      17      case 2:
      18        foo ();
      19        break;
      20      case 7:
      21        bar ();
      22        break;
      23      }
      24  }