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>