This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][RFC] Step 1 to a middle-end type-system
On Tue, 26 Jun 2007, Richard Kenner wrote:
> > /* Otherwise pointers/references are equivalent if their pointed
> > to types are effectively the same. We can strip qualifiers
> > on pointed-to types for further comparsion. */
>
> Is this correct? Don't the two types also need to be in the same alias set?
> It's sometimes hard to get ones head around this.
That's checked before.
Richard.