1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Wuninitialized -fno-ivopts" } */
3 
foo(int x)4 inline int foo(int x)
5 {
6   return x;
7 }
bar(int a,int * ptr)8 static void bar(int a, int *ptr)
9 {
10   do
11   {
12     int b;   /* { dg-message "declared" } */
13     if (b < 40) {
14       ptr[0] = b;
15     }
16     b += 1; /* { dg-warning "may be used uninitialized" } */
17     ptr++;
18   }
19   while (--a != 0);
20 }
foobar(int a,int * ptr)21 void foobar(int a, int *ptr)
22 {
23   bar(foo(a), ptr);
24 }
25 
26