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  }