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
'llvm.eh.resume'!
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...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110620/1db1ebf2/attachment.html
