Builder klee-2.7-x86_64-linux Build #57

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] r148402 ( 9 secs )
   1. stdio
3. configure configure Release+Asserts ( 39 secs )
   1. stdio
4. compile compile llvm ( 2 mins, 21 secs )
   1. stdio
5. svn-klee update r148402 ( 3 secs )
   1. stdio
6. configure_1 configure ( 5 secs )
   1. stdio
7. compile_1 compile klee warnings ( 1 mins, 16 secs )
   1. stdio
   2. warnings
8. test test 91 tests 91 passed ( 3 mins, 59 secs )
   1. stdio
   2. dg.sum
   3. tests.XFAIL

Build Properties:

Blamelist:

1. cristic

Timing:

All Changes:

1. Change #87

   Changed by	cristic
   Changed at	Wed 18 Jan 2012 14:29:51
   Repository	http://llvm.org/svn/llvm-project/klee/trunk
   Revision	148402

   Comments

   Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memory
   leak in KLEE.
   
   From Gang Hu: "The memory leak is caused by two reasons.  First, the
   MemoryObject objects are not freed, until the MemoryManager is
   destroyed.  Second, when KLEE allocates a non-fixed MemoryObject
   object, KLEE also allocates a block of memory which is the same as the
   object's size. This block of memory is never freed.  So, this patch
   generally does reference counting on the MemoryObject objects, and
   frees them as soon as the reference count drops to zero."
   
   Many thanks to Paul Marinescu as well, who tested this patch
   thoroughly on the Coreutils benchmarks.  On 1h runs, the memory
   consumption typically goes down by 1-5%, but some applications which
   see more significant gains.
   
   

   Changed files

   • include/klee/ExecutionState.h
   • lib/Core/ExecutionState.cpp
   • lib/Core/Memory.cpp
   • lib/Core/Memory.h
   • lib/Core/MemoryManager.cpp
   • lib/Core/MemoryManager.h