[LLVMdev] Problem with intrinsics
eli.friedman at gmail.com
Tue Sep 24 14:44:36 PDT 2013
On Sat, Sep 21, 2013 at 4:00 AM, Saikat Dutta <saikatdutta.pro2011 at gmail.com
> I faced the following problem when trying to use klee over the llvm format
> file formed after using wllvm. Does there exist any solution to this?
> LLVM ERROR: Code generator does not support intrinsic function
If you want to avoid generating calls to llvm.objectsize from C code, you
might want to try passing -D_FORTIFY_SOURCE=0 to clang.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev