<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Jul 10, 2011, at 4:48 AM, arrowdodger wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">When compiling <a href="http://llvm.org/svn/llvm-project/klee/trunk/runtime/Intrinsic/memset.c">http://llvm.org/svn/llvm-project/klee/trunk/runtime/Intrinsic/memset.c</a> with -O2, LoopIdiomRecognizer pass inserts memset intrinsic into function body. It causes recursion during execution in klee. Attached patch fixes this.<br></blockquote><br></div><div>Hi arrowdodger,</div><div><br></div><div>System code is supposed to build with -fno-builtin. If clang is using the LLVM passes directly, it can set up a TargetLoweringInfo instance that disables these transformations.</div><div><br></div><div>-Chris</div><br></body></html>