This is the mail archive of the
mailing list for the GCC project.
Re: [RFC] type safe trees
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: neil at daikokuya dot co dot uk
- Cc: gcc at gcc dot gnu dot org
- Date: Wed, 23 Jun 04 18:48:05 EDT
- Subject: Re: [RFC] type safe trees
We really need front-end specific data structures, lowered to a common
representation (I suspect gimple). It would even solve the current
Kenner thread, though he may disagree.
I don't see how it would "solve" the current thread since that's what
the Ada front end already does! It has a quite complex internal
representation that's basically a very heavily annotated (well over
100 fields and flags) parse tree.
That tree is then converted node-for-node to a GCC tree that is essentially
GENERIC with a very small number of additional nodes. Then it's brought
down to GIMPLE.
But a tremendous amount of care is taken during this process to be
sure that all the trees are precisely type-correct. Ada may well actually
be the only front end that does this.