[Bug fortran/102043] Wrong array types used for negative stride accesses

[rguenth at gcc dot gnu.org]

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)?