[Bug fortran/45777] Alias analysis broken for arrays where LHS or RHS is a component ref

[tkoenig at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45777

--- Comment #13 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2011-01-08 
09:38:17 UTC ---
Author: tkoenig
Date: Sat Jan  8 09:38:13 2011
New Revision: 168596

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168596
Log:
2011-01-08  Thomas Koenig  <tkoe...@gcc.gnu.org>

    PR fortran/45777
    * symbol.c (gfc_symbols_could_alias):  Strip gfc_ prefix,
    make static and move in front of its only caller, to ...
    * trans-array.c (symbols_could_alias): ... here.
    Pass information about pointer and target status as
    arguments.  Allocatable arrays don't alias anything
    unless they have the POINTER attribute.
    (gfc_could_be_alias):  Keep track of pointer and target
    status when following references.  Also check if typespecs
    of components match those of other components or symbols.

2011-01-08  Thomas Koenig  <tkoe...@gcc.gnu.org>

    PR fortran/45777
    * gfortran.dg/dependency_39.f90:  New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/dependency_39.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/symbol.c
    trunk/gcc/fortran/trans-array.c
    trunk/gcc/testsuite/ChangeLog