1  /* { dg-do compile } */
       2  /* { dg-options "-O -Wmaybe-uninitialized" } */
       3  
       4  int foo (int x)
       5  {
       6    int y;
       7    if (x)
       8      return *(&y + 1); /* { dg-bogus "may be used uninitialized" } */
       9    return 0;
      10  }