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 
foo()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 }
18