http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49911
--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-08-06 16:08:16 UTC --- > So the issue here is that enum types with non-canonical TYPE_MIN/MAX_VALUE > leak from storage representation (union StateRemat) via SRA as register > variables into the IL. Is that something that cannot happen for Ada because > it is also careful to not use such types in storage representations? Yes, I think so, only index types of arrays have non-canonical bounds now.
