This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/23086] aliasing information in gcc.dg/tree-ssa/20030807-7.c should be fixed properly
- From: "dnovillo at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 27 Jul 2005 20:38:54 -0000
- Subject: [Bug tree-optimization/23086] aliasing information in gcc.dg/tree-ssa/20030807-7.c should be fixed properly
- References: <20050726194819.23086.dnovillo@gcc.gnu.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From dnovillo at redhat dot com 2005-07-27 20:38 -------
Subject: Re: aliasing information in gcc.dg/tree-ssa/20030807-7.c should be fixed properly
On Wed, Jul 27, 2005 at 08:34:10PM -0000, pinskia at gcc dot gnu dot org wrote:
> Isn't this a simple fix to may_alias_p saying that PARM_DECLs
> cannot alias local variables?
>
It isn't. Only a default_def of a PARM_DECL is guaranteed not to
point into any local. may_alias_p is flow-insensitive, so it can
only return answers that apply to *all* the SSA names for a DECL.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23086