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

[Cristian Cadar]

You already reported this problem and were told that KLEE doesn't have
support for this intrinsic yet.  There's no reason to report this twice;
however, you may want to open a issue on GitHub.

Best,
Cristian	

On 18/10/2014 02:02, Dingbao Xie wrote:
> 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
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>