https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85063
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- I agree that following the language standard shouldn't probibit the middle-end from doing its own things so IMHO this bug is INVALID.