https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77908
--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- I think we can fix this by rejecting arrays with an upper bound of huge(index_kind). This is an acceptable implementation limitation.
