https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63311
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- Please leave the bug open - it does point at an undesirable transform which would conflict with GCC ever treating the use of uninitialized vars as "more" undefined as it does right now.
