Canonical type nodes, or, comptypes considered harmful

[Mike Stump]

On Nov 8, 2006, at 5:11 AM, Richard Kenner wrote:
> My confusion here is how can you "canonicalize" types that are  
> different
> (meaning have different names) without messing up debug information.

> If you have:
>
> 	Foo xyz;

typedef int Foo;
TREE_TYPE (xyz) == int
map(int, &TREE_TYPE (xyz))  == Foo

debug infomation for xyz is nameL "xyz", type: map(TREE_TYPE (decl),  
&TREE_TYPE (decl)), which happens to be Foo.