https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80645
--- Comment #10 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Anyway, WAITING for Fortran folks to settle the wrong-code dispute.
AFAIU the code is valid Fortran
x(4:1:-1) = x((/1,3,2,4/))
x((/1,3,2,4/)) use a temporary array of size 4 and
tmp(1)=x(1)
tmp(2)=x(3)
tmp(3)=x(2)
tmp(4)=x(4)
then this temporaries assigned to the fist four elements of x as
x(4)=tmp(1)
x(3)=tmp(2)
x(2)=tmp(3)
x(1)=tmp(4)
and it is what I see in the dump of the reduced test
program test
implicit none
type mytype
integer x
end type mytype
type(mytype) :: x(6) = (/mytype(1),mytype(2),mytype(3), &
mytype(4),mytype(5), mytype(6)/)
print *, x
x(4:1:-1) = x((/1,3,2,4/))
print *, x
end program test
