Renamed GetTotalMemoryUsage to GetTotalMallocUsage

3 files changed, 3 insertions, 3 deletions

diff --git a/include/klee/Internal/System/MemoryUsage.h b/include/klee/Internal/System/MemoryUsage.h
index 37c838fc..e8e5d769 100644
--- a/include/klee/Internal/System/MemoryUsage.h
+++ b/include/klee/Internal/System/MemoryUsage.h
@@ -14,7 +14,7 @@
 
 namespace klee {
   namespace util {
-    size_t GetTotalMemoryUsage();
+    size_t GetTotalMallocUsage();
   }
 }
 
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index c0baa88c..abb023eb 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -2585,7 +2585,7 @@ void Executor::run(ExecutionState &initialState) {
         // We need to avoid calling GetMallocUsage() often because it
         // is O(elts on freelist). This is really bad since we start
         // to pummel the freelist once we hit the memory cap.
-        unsigned mbs = util::GetTotalMemoryUsage() >> 20;
+        unsigned mbs = util::GetTotalMallocUsage() >> 20;
         if (mbs > MaxMemory) {
           if (mbs > MaxMemory + 100) {
             // just guess at how many to kill
diff --git a/lib/Support/MemoryUsage.cpp b/lib/Support/MemoryUsage.cpp
index 94cee79e..676ce307 100644
--- a/lib/Support/MemoryUsage.cpp
+++ b/lib/Support/MemoryUsage.cpp
@@ -12,7 +12,7 @@
 
 using namespace klee;
 
-size_t util::GetTotalMemoryUsage() {
+size_t util::GetTotalMallocUsage() {
   struct mallinfo mi = ::mallinfo();
   // The malloc implementation in glibc (pmalloc2)
   // does not include mmap()'ed memory in mi.uordblks