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
test.bc
Description: Binary data
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
