------- 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
