[klee-dev] LLVM ERROR: Code generator does not support intrinsic function 'llvm.trap'

[lyc qingjin]

HI,
I ran into following error when using KLEE run sendmail 8.12.10. The
compiler is llvm 2.8(llvm-gcc 2.8).

The error says: "LLVM ERROR: Code generator does not support intrinsic
function 'llvm.trap'!"




Although there is a solution to this problem here :
http://comments.gmane.org/gmane.comp.compilers.llvm.klee/1027

, which does not work for my situation after trying.


Thanks.
Yongchao Li.
-------------- next part --------------
HTML attachment scrubbed and removed