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