C compiler front end wanted

I'm working on a C based tool that needs to operate of a full C AST ---
basically, it can be thought of as a code generator for a really twisted
CPU architecture.


Does anyone know if there are any clean, standalone libraries for
parsing, verifying and then generating full ASTs, from C source code?


So far, my research has shown up a few tools like ctool, which
generates annotated parse trees but don't do full type analysis and
program verification; things like elsa, which is really designed for
C++ and as such is grotesquely overcomplicated for what I want (and
also, I can't make it build); and compiler frontends that are actually
attached to compilers, such as pcc, sdcc, ack, gcc etc, which are
unfortunately so tightly integrated to the compiler backend that
ripping out the existing
  backend and replacing it with mine is a huge amount of work.


I'm sure there *must* be something like this out there, somewhere. Can
anyone suggest anything I should have a look at?


(Open source, please!)


[Don't hold your breath waiting for free tools here. Sometimes you only
get what you pay for. -John]

Return to the comp.compilers page.
Search the comp.compilers archives again.