[klee-dev] KLEE CXX tests are failing with recent LLVM.
6yearold at gmail.com
Mon Jun 20 07:56:47 PDT 2011
Hi. I'm observing almost all CXX tests
KLEE :: CXX/ArrayNew.cpp
KLEE :: CXX/New.cpp
KLEE :: CXX/SimpleVirtual.cpp
KLEE :: CXX/Trivial.cpp
are failing with trunk LLVM version due to following error:
LLVM ERROR: Code generator does not support intrinsic function
As a workaround, i've added -fno-exceptions flag to %llvmgxx invocation line
in each script source and now they are pass. Is this a hack, or you will
apply such patch?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the klee-dev