llvm dev - Sep 2013 - [LLVMdev] Problem with intrinsics

Hi,
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
'llvm.objectsize.i32'!
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20130921/3be01401/attachment.html>

On Sat, Sep 21, 2013 at 4:00 AM, Saikat Dutta <saikatdutta.pro2011 at
gmail.com
> wrote:
> Hi,
> 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
> 'llvm.objectsize.i32'!
>
>
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.

-Eli
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20130924/c44ccbd8/attachment.html>