[klee-dev] make klee support intrinsic function lvm.sadd.with.overflow.i32

[Dingbao Xie]

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

-- 
Dingbao Xie
-------------- next part --------------
HTML attachment scrubbed and removed