Hi Liviu, I moved the declaration out of the function, does this fix the build for you?
- Daniel On Wed, Jun 10, 2009 at 8:19 AM, Ciortea Liviu<liviu.ciortea at epfl.ch> wrote: > Hi guys, > > What version of GCC are you using when building? When compiling with GCC > 4.2.4 I get the following compile error: > > Expr.cpp: In destructor ?klee::Array::~Array()?: > Expr.cpp:359: error: expected unqualified-id before string constant > Expr.cpp:363: error: ?::vc_DeleteExpr? has not been declared > > The problem here is related to the extern "C" declaration inside the > destructor. > > Thanks, > Liviu > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
