Using GCC's front-end to parse SystemC

[Fergus Henderson]

On 24-Mar-2003, tm_gccmail@mail.kloo.net <tm_gccmail@mail.kloo.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@cs.mu.oz.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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 3083 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc/attachments/20030401/432fadad/attachment.bin>