1 files changed, 13 insertions, 0 deletions
diff --git a/lib/Support/MemoryUsage.cpp b/lib/Support/MemoryUsage.cpp
index 676ce307..6143b127 100644
--- a/lib/Support/MemoryUsage.cpp
+++ b/lib/Support/MemoryUsage.cpp
@@ -8,11 +8,17 @@
 //===----------------------------------------------------------------------===//
 
 #include "klee/Internal/System/MemoryUsage.h"
+
+#include "klee/Config/config.h"
+
+#ifdef HAVE_MALLINFO
 #include <malloc.h>
+#endif
 
 using namespace klee;
 
 size_t util::GetTotalMallocUsage() {
+#ifdef HAVE_MALLINFO
   struct mallinfo mi = ::mallinfo();
   // The malloc implementation in glibc (pmalloc2)
   // does not include mmap()'ed memory in mi.uordblks
@@ -22,4 +28,11 @@ size_t util::GetTotalMallocUsage() {
 #else
   return mi.uordblks;
 #endif
+
+#else // HAVE_MALLINFO
+
+#warning Cannot get malloc info on this platform
+  return 0;
+
+#endif
 }