Builder klee-2.7-x86_64-linux Build #53

Results:

Build successful

SourceStamp:

BuildSlave:

Reason:

scheduler

Steps and Logfiles:

1. get_builddir set props: builddir ( 0 secs )
   1. stdio
   2. property changes
2. svn-llvm update [branch] r146350 ( 9 secs )
   1. stdio
3. configure configure Release+Asserts ( 38 secs )
   1. stdio
4. compile compile llvm ( 2 mins, 21 secs )
   1. stdio
5. svn-klee update r146350 ( 3 secs )
   1. stdio
6. configure_1 configure ( 5 secs )
   1. stdio
7. compile_1 compile klee warnings ( 27 secs )
   1. stdio
   2. warnings
8. test test 91 tests 91 passed ( 3 mins, 56 secs )
   1. stdio
   2. dg.sum
   3. tests.XFAIL

Build Properties:

Blamelist:

1. cristic

Timing:

All Changes:

1. Change #81

   Changed by	cristic
   Changed at	Sun 11 Dec 2011 16:57:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	146350

   Comments

   This is a workaround for the infinite loop reported at 
   http://keeda.stanford.edu/pipermail/klee-dev/2011-August/000723.html
   
   KLEE needs to use --fno-builtin when compiling its version of memset.
   However, this patch also adds the workaround suggested by Paul in the
   thread above, since support for --fno-builtin was added to llvm-gcc only
   after LLVM 2.9 was released.
   
   More details about this issue can be found here:
   http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20110411/119376.html
   http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20110711/124131.html
   
   Thanks to Paul and arrowdodger for their explanations and patches.
   
   

   Changed files

   • runtime/Intrinsic/Makefile
   • runtime/Intrinsic/memset.c