blob: e1497347336a74d3bc7e06f44abc351835be2290 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/* { 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" } */
}
|