[klee-dev] Get LLVM ERROR when compiling program using clang with option -fsanitize=undefined

[Dingbao Xie]

Hi all,
I got an LLVM error when using klee to analyze a program generated by
clang-3.4.
I tried to debug it by myself and finally found that the error is produced
when calling
PassManager.run (klee/lib/Module/KModule.cpp, function prepare, pm3.run).

The detailed error information is:
LLVM ERROR: Code generator does not support intrinsic function
'llvm.sadd.with.overflow.i32'!

Attachment is the test program that I used.

Does anyone know why LLVM produced such error and how can I get around it.
BTW I built klee with LLVM-3.4.

Thanks in advance.



-- 
Dingbao Xie
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.bc
Type: application/octet-stream
Size: 1496 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20141017/4a4721ee/attachment.obj>