1 /* { dg-do compile } */
2 /* { dg-options "-O -Wmaybe-uninitialized" } */
3 
foo(int x)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 }
11