1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -Wuninitialized" } */
       3  
       4  int f (int);
       5  void g (int c)
       6  {
       7    int v;
       8    if (c)
       9      v = f(0);
      10    while (1)
      11      if (c)
      12        f(v + v); /* { dg-bogus "uninitialized" } */ 
      13  }