https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89450
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Indeed, at least we shouldn't change the middle-end representation. The FE can of course warn more strictly if the language allows.