[Fortran] Improved dependency analysis of pointer variables

Roger Sayle roger@eyesopen.com
Fri Mar 17 00:04:00 GMT 2006


On Thu, 16 Mar 2006, Paul Thomas wrote:
> Great. That's a good compromise. Anything that is directly equivalenced
> will be hit but indirect equivalences that do not overlap at all will
> not. That leaves open the possibility to be still smarter and requires
> that TODO...!
>
> OK

Many thanks.  I've now committed the patch and the new testcase to
mainline after bootstrap and regression testing passed on
x86_64-unknown-linux-gnu, as revision 112162.

Following your suggestion I added the following TODO to the comment
above dependency.c:gfc_are_equivalenced_arrays.

!    TODO: This function only checks whether the full top-level
!    symbols overlap.  An improved implementation could inspect
!    e1->ref and e2->ref to determine whether the actually accessed
!    portions of these variables/arrays potentially overlap.  */

Roger
--



More information about the Gcc-patches mailing list