[klee-dev] KLEE CXX tests are failing with recent LLVM.

[arrowdodger]

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