https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90728
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- I think it's [0, -1] but eventually using an unsigned type for the domain. IIRC we have "pattern matching" for this in stor-layout.c
