<div dir="ltr">On Sat, Sep 21, 2013 at 4:00 AM, Saikat Dutta <span dir="ltr"><<a href="mailto:saikatdutta.pro2011@gmail.com" target="_blank">saikatdutta.pro2011@gmail.com</a>></span> wrote:<br><div class="gmail_extra">
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Hi,</div><div>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?</div>
<div><br></div>LLVM ERROR: Code generator does not support intrinsic function 'llvm.objectsize.i32'!<br>
</div><div dir="ltr"><br></div></blockquote><div><br></div><div>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.</div></div></div><div class="gmail_extra">
<br></div><div class="gmail_extra">-Eli</div></div>