111
|
1 /* { dg-do compile } */
|
|
2 /* { dg-options "-Wuninitialized -O2" } */
|
|
3
|
|
4 int g;
|
|
5 void bar();
|
|
6 void blah(int);
|
|
7 int foo (int n, int m, int r, int t)
|
|
8 {
|
|
9 int flag = 0;
|
|
10 int v;
|
|
11
|
|
12 if (t)
|
|
13 {
|
|
14 if (n)
|
|
15 {
|
|
16 v = r; /* init path 1 */
|
|
17 flag = 1;
|
|
18 }
|
|
19
|
|
20 if (m) g++;
|
|
21 else bar();
|
|
22
|
|
23 if (flag) /* properly guarded */
|
|
24 blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
|
|
25 }
|
|
26 else
|
|
27 {
|
|
28 v = r+1; /* init path 2 */
|
|
29 flag = 2;
|
|
30 }
|
|
31
|
|
32 if (m) g++;
|
|
33 else bar();
|
|
34
|
|
35 if (g) /* guard can not be determined statically to be safe */
|
|
36 blah(v); /* { dg-warning "uninitialized" "real warning" } */
|
|
37
|
|
38 return 0;
|
|
39 }
|
|
40
|