gcc/testsuite/gcc.dg/uninit-5.c

   1 /* Spurious uninitialized-variable warnings.  */
   2 /* Disable jump threading, etc to test compiler analysis.  */
   3 /* { dg-do compile } */
   4 /* { dg-options "-O -Wuninitialized -fno-tree-dce -fno-tree-vrp -fno-tree-dominator-opts" } */
   5
   6 extern void use(int);
   7 extern void foo(void);
   8
   9 void
  10 func1(int cond)
  11 {
  12     int x;  /* { dg-bogus "x" "uninitialized variable warning" } */
  13
  14     if(cond)
  15         x = 1;
  16
  17     foo();
  18
  19     if(cond)
  20         use(x);
  21 }
  22
  23 void
  24 func2 (int cond)
  25 {
  26     int x;  /* { dg-bogus "x" "uninitialized variable warning" } */
  27     int flag = 0;
  28
  29     if(cond)
  30     {
  31         x = 1;
  32         flag = 1;
  33     }
  34
  35     foo();
  36
  37     if(flag)
  38         use(x);
  39 }