Hi Paul, arrowdodger,
Thanks for your help diagnosing and fixing this issue. Please see r146350:
http://llvm.org/viewvc/llvm-project?view=revrevision=146350
Best,
Cristian
On 16/08/2011 10:00, arrowdodger wrote:
On Sun, Aug 14, 2011 at 9:06 PM, Paul Marinescu
paul.marine...@imperial.ac.uk
When compiling KLEE (svn head) against LLVM 2.9 on 64bit Ubuntu, the
POSIX tests never terminate. Upon looking at klee-last/assembly.ll (for
FDNumbers) it seems that memset recursively calls itself:
define i8* @memset(i8* %dst, i32 %s, i64 %count) nounwind {
entry:
%0 = icmp eq i64 %count,