This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Help solicited: technical documentations on GCC
- From: "Lih-der Wang" <r91921085 at ntu dot edu dot tw>
- To: "gcc.gnu.org" <gcc at gcc dot gnu dot org>
- Cc: "Wang Farn" <farn at cc dot ee dot ntu dot edu dot tw>
- Date: Fri, 13 Jun 2003 13:21:38 +0800
- Subject: Help solicited: technical documentations on GCC
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