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

   1 /* { dg-do compile } */
   2 /* { dg-options "-fno-tree-ccp -fno-tree-vrp -O2 -Wuninitialized -Wno-maybe-uninitialized" } */
   3 void blah();
   4 void bar (int);
   5 int gflag;
   6
   7 void foo()
   8 {
   9    int v;
  10    if (gflag)
  11      v = 10;
  12
  13    blah(); /* *gflag may be killed, but compiler won't know */
  14
  15    if (gflag)
  16     bar(v);   /* { dg-bogus "uninitialized" "should be suppressed" } */
  17 }