[Bug tree-optimization/37692] [alias-improvements-branch] can't alias fortran function arguments

[kargl at gcc dot gnu dot org]

------- Comment #2 from kargl at gcc dot gnu dot org  2008-10-02 21:47 -------
(In reply to comment #1)
> Mine.  The alias-oracle doesn't use PTA information yet.
> 

Richard, I'm not sure how familiar you are with the Fortran
standard, so I'll just give a quick note.  The standard forbids 
the aliasing of arguments.  This prohibition is on the 
programmer not the compiler.  Unfortunately, I believe there is
the possibility that a programmer violates this prohibition
and the compiler can't detect the problem.  In principle, you
can assume that the arguments never alias for a Fortran function
or subroutine; unfortunately, we know programmers tend to 
violate this principle.


-- 

kargl at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sgk at troutmask dot apl dot
                   |                            |washington dot edu


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