| /* { dg-do compile } */ |
| /* { dg-options "-Wuninitialized -O2 -fno-tree-tail-merge" } */ |
| |
| int g; |
| void bar (void); |
| void blah (int); |
| |
| int foo (int n, int m, int r) |
| { |
| int flag = 0; |
| int v; |
| |
| if (n) |
| { |
| v = r; |
| flag = 1; |
| } |
| |
| if (m) g++; |
| else bar(); |
| |
| if (flag) |
| blah(v); /* { dg-bogus "uninitialized" "bogus uninitialized var warning" } */ |
| |
| return 0; |
| } |
| |
| int foo_2 (int n, int m, int r) |
| { |
| int flag = 0; |
| int v; |
| |
| if (n) |
| { |
| v = r; |
| flag = 1; |
| } |
| |
| if (m) g++; |
| else bar(); |
| |
| if (flag) |
| blah(v); /* { dg-bogus "uninitialized" "bogus uninitialized var warning" } */ |
| else |
| blah(v); /* { dg-warning "uninitialized" "real uninitialized var warning" } */ |
| |
| return 0; |
| } |
