https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88274
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu.org
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Maybe Eric wants to chime in. IIRC we went through great lengths to preserve
VRP using TYPE_MIN/MAX_VALUE to elide bounds checking for Ada?
