https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102043
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It would be much nicer if the array descriptor for idx(2:1:-1) would not use a pointer to idx(2) as the data pointer but we'd instead still represent it as a (1:2) array but with adjusted offset (2 instead of 1). I think then the middle-end would be happy. Does the language always allow to compute this (from ubound - lbound basically)?