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;
}

Reply via email to