[PATCH][RFC] Step 1 to a middle-end type-system

[Richard Guenther]

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.