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

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Remove special-casing of PTR_IS_REF_ALL pointers from alias analysis

> > You lost me.  Using the alias set of the field when the field is
> > addressable is MORE precise than using the alias set of the record, not
> > less.
> 
> No, it is not.

Why do you say that?

Suppose I have:

	struct foo {int a; float b;} *p;

	p->a = ...

If "p->a" were to be assigned the alias set of "struct foo", it would
conflict with BOTH "float" and "int".  However, it's actually assigned the
alias set of "int", so it does not conflict with float as well.  That's
more precise.
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]