(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
tree-ssa/
vrp42.c
       1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -Wuninitialized" } */
       3  
       4  int foo(int val)
       5  {
       6    int tmp;
       7    if ((val > 5) && (val < 8))
       8      {
       9        switch (val)
      10          {
      11          case 6:
      12            tmp = 1;
      13            break;
      14          case 7:
      15            tmp = 2;
      16            break;
      17          }
      18        return tmp; /* { dg-bogus "used uninitialized" } */
      19      }
      20    return 0;
      21  }
      22