Hi, On 17 October 2014 00:23, Dingbao Xie <[email protected]> wrote: > Dear list, > I found that klee dose not support the LLVM arithmetic with overflow > intrinsics > like llvm.sadd.with.overflow.i32. I know that someone else has asked the > similar > question. I just want to know is it possible to make klee support it? > Thanks in advance
This is possible. I think the correct way to do this would be to add support for it in the IntrinsicCleaner pass [1]. You can see that Intrinsic::uadd_with_overflow support is handled so I think you would need to add support for the signed version. [1] https://github.com/klee/klee/blob/master/lib/Module/IntrinsicCleaner.cpp Thanks, Dan. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
