https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79955
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Testcase that is fixed (at -O2, at -O1 we do not run isolate-paths...) /* { dg-do compile } */ /* { dg-options "-O2 -Wmaybe-uninitialized" } */ int foo (int x) { int y; if (x) return *(&y + 1); /* { dg-bogus "may be used uninitialized" } */ return 0; }