| /* { dg-do compile } */ | |
| /* { dg-options "-fno-tree-ccp -fno-tree-vrp -O2 -Wuninitialized -Werror=uninitialized -Wno-error=maybe-uninitialized" } */ | |
| void blah(); | |
| int gflag; | |
| void foo() | |
| { | |
| int v; | |
| if (gflag) | |
| v = 10; | |
| blah(); /* *gflag may be killed, but compiler won't know */ | |
| if (gflag) | |
| bar(v); /* { dg-warning "uninitialized" "should not be promoted to error" } */ | |
| } |