gcc/testsuite/gcc.dg/uninit-pred-8_b.c

   1
   2 /* { dg-do compile } */
   3 /* { dg-options "-Wuninitialized -fno-tree-dominator-opts -O2" } */
   4
   5 int g;
   6 void bar();
   7 void blah(int);
   8
   9 int foo (int n, int l, int m, int r)
  10 {
  11   int v;
  12
  13   if (n < 10 || m > 100 || r < 20 || l)
  14     v = r;
  15
  16   if (m) g++;
  17   else   bar();
  18
  19   if ( n < 10 ||  m > 100 || r < 20 )
  20       blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
  21
  22   if ( n < 10 ||  m > 100 || r < 10 )
  23       blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
  24
  25   return 0;
  26 }
  27
  28 int foo_2 (int n, int l, int m, int r)
  29 {
  30   int v;
  31
  32   if (n < 10 || m > 100 || r < 20 || l)
  33     v = r;
  34
  35   if (m) g++;
  36   else   bar();
  37
  38   if ( n < 10 ||  m > 100 || r < 20 )
  39       blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
  40
  41   if ( n < 10 ||  m > 100 || r < 30 )
  42       blah(v); /* { dg-warning "uninitialized" "warning" } */
  43
  44   return 0;
  45 }