------- Comment #3 from burnus at gcc dot gnu dot org 2010-07-21 16:44 -------
(In reply to comment #2)
> if (sym1.attr.target && sym2->attr.target
Actually, I wonder whether this is really testable:
"the actual argument is a target"
thus, one probably needs to use:
sym1 = expr1->symtree->n.sym;
sym2 = expr2->symtree->n.sym;
if ((sym1.attr.target && sym1->attr.dummy && !sym1->attr.contiguous
&& sym1->attr.dimension && sym2->as.type == AS_ASSUMED_SHAPE)
||(sym2.attr.target && sym2->attr.dummy && !sym2->attr.contiguous
&& sym2->attr.dimension && sym2->as.type == AS_ASSUMED_SHAPE))
return 1;
Test case follows. Works with Crayftn (1 1 2), fails with pgf95, gfortran,
pathf95, ifort.
MODULE m
IMPLICIT NONE
INTEGER :: arr(3) ! NO TARGET
CONTAINS
SUBROUTINE foobar (arg)
INTEGER, TARGET :: arg(:) ! Target
arr(2:3) = arg(1:2)
END SUBROUTINE foobar
END MODULE m
PROGRAM main
USE m
IMPLICIT NONE
arr = (/ 1, 2, 3 /)
CALL bar(arr)
PRINT *, arr
contains
subroutine bar(x)
INTEGER, TARGET :: x(3) ! Target
CALL foobar (x)
PRINT *, x
end subroutine bar
END PROGRAM main
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45019
