Steven Bosscher - Re: [patch, 4.1.2, 4.2.1, 4.3] Fix a bug in pointer dependency test (original) (raw)

This is the mail archive of the gcc-patches@gcc.gnu.orgmailing list for the GCC project.

• From: Steven Bosscher
• To: gcc-patches at gcc dot gnu dot org
• Cc: Ira Rosen , Roger Sayle , "Daniel Berlin" , Diego Novillo , gcc-patches at gnu dot org
• Date: Mon, 19 Feb 2007 18:15:37 +0100
• Subject: Re: [patch, 4.1.2, 4.2.1, 4.3] Fix a bug in pointer dependency test
• References: <OF07754EFA.F0C8C9D6-ONC2257287.00363D30-C2257287.003889D9@il.ibm.com>

On Monday 19 February 2007 11:17, Ira Rosen wrote:

However, on 4.2 after the fix the test passes too (and on mainline if I add the fix), due to the fact that all the function arguments get different PARM_NOALIAS values, and their may_alias sets does not intersect. Is this the correct behavior? Are function arguments supposed to be not aliased?

That is correct. In Fortran, function arguments shall not alias.

Gr. Steven

• References:
  • Re: [patch, 4.1.2, 4.2.1, 4.3] Fix a bug in pointer dependency test
    * From: Ira Rosen