https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70731
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |diagnostic
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
I think the only reasonable implementation would be in the frontend (apart from
the case where VRP has enough information to make the transform valid).
That said, this is a hard one and I don't think an option to do that by default
(disregarding overflow) is useful in the end. It'll break too much code.
