Re: Using GCC's front-end to parse SystemC

[Fergus Henderson <fjh at cs dot mu dot oz dot au>]

On 24-Mar-2003, tm_gccmail at mail dot kloo dot net <tm_gccmail at mail dot kloo dot net> wrote:
> On Mon, 24 Mar 2003, Matthieu Moy wrote:
> 
> > Hi ! 
> > 
> > For my Ph. D thesis, I'm going to apply formal verification methods to
> > SystemC programs. 
> > 
> > (For your information, SystemC is an open source library for C++ which
> > allows the modeling  of Systems on a Chip  (complex hardware systems).
> > It has primitives to model mainly concurency and communication between
> > modules.)
> > 
> > In short, I'd like to reuse GCC's front-end to generate a formal model
> > of the program. RTL description seems  to be to low level for my work,
> > so, I'm studying the possibilities of the tree representation.
> 
> This sounds kinda bad. It's like buying a Honda Accord because you need a
> few metric bolts. You would have to learn too much to use gcc's front end.
> 
> You might want to look at something more lightweight instead, like lcc.

What he needs is a C++ parser.  lcc doesn't support C++.

However, I agree that using the GCC C++ front-end is not a great idea.
Several parser generators come with parsers for C++ that would probably
be a fair bit easier to use for this purpose than GCC's C++ front-end.

-- 
Fergus Henderson <fjh at cs dot mu dot oz dot au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.

--------------------------------------------------------------------
This message could not be encrypted because no digital certificate
was found for your address. However, you can encrypt your reply with
the certificate attached below. Details at www.unicrypt.com.au

Attachment: smime.p7s
Description: S/MIME cryptographic signature