[Bug fortran/45019] Aliasing of TARGET dummy argument not detected correctly

["burnus at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>]

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