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