41 lines
673 B
C
41 lines
673 B
C
/* { dg-do compile } */
|
|
/* { dg-options "-Wuninitialized -O2" } */
|
|
|
|
int g;
|
|
void bar();
|
|
void blah(int);
|
|
int foo (int n, int m, int r, int t)
|
|
{
|
|
int flag = 0;
|
|
int v;
|
|
|
|
if (t)
|
|
{
|
|
if (n)
|
|
{
|
|
v = r; /* init path 1 */
|
|
flag = 1;
|
|
}
|
|
|
|
if (m) g++;
|
|
else bar();
|
|
|
|
if (flag) /* properly guarded */
|
|
blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
|
|
}
|
|
else
|
|
{
|
|
v = r+1; /* init path 2 */
|
|
flag = 2;
|
|
}
|
|
|
|
if (m) g++;
|
|
else bar();
|
|
|
|
if (g) /* guard can not be determined statically to be safe */
|
|
blah(v); /* { dg-warning "uninitialized" "real warning" } */
|
|
|
|
return 0;
|
|
}
|
|
|