predicate aware uninitialized analysis
[official-gcc.git] / gcc / testsuite / gcc.dg / uninit-pred-3_e.c
blob66e2a3a93167cac72ff1fab7f6cbc032da79a934
1 /* { dg-do compile } */
2 /* { dg-options "-Wuninitialized -O2" } */
4 int g;
5 void bar();
6 void blah(int);
8 int foo (int n, int m, int r)
10 int flag = 0;
11 int v;
13 if (n)
15 v = r;
16 flag = -1;
19 if (m)
20 g++;
21 else
22 bar();
24 if (r > 0)
25 if (flag <= 0 )
26 blah(v); /* { dg-warning "uninitialized" "real warning" } */
27 return 0;