Help solicited: technical documentations on GCC

[Lih-der Wang]

Hi, dear colleagues:

Sorry to bother you with this.
I am a grad student at Department of EE, National Taiwan University.
We are developing a translator from Gnu C to automata for
verification experiments.
We plan to modify the GCC parser and translate from maybe
GCC intermediate RTL data-structures to automata.
We will appreciate it very much if
anyone can tell us where to find documentation on the
variables and data-structures used in the GCC parser?

Many thanks!

          Lih-Der, 06/13/2003