This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: must_alias question
On Thu, 2003-11-20 at 15:31, Jan Hubicka wrote:
> char global;
> t()
> {
> char *a=global;
> char **b=&a;
> return *a;
> }
> must_alias clears may_point_to_global_mem for variable a based on fact
> that it's address is no longer taken. This looks just wrong.
> the fact that we don't take address of pointer has nothing to do about
> the fact whehtehr it points to global memory or not.
> Or am I missunderstanding semantics of the flag?
>
Nope, that sounds right. Clearing the flag doesn't seem correct.
Thanks for noticing.
Diego.