https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88274
--- Comment #10 from Eric Botcazou <ebotcazou 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? It's the opposite, we need to hide TYPE_MIN/MAX_VALUE to preserve checks in Ada, otherwise the optimizer happily removes them (see ada/gcc-interface/ada-tree.h).
