about summary refs log tree commit diff homepage
path: root/lib/Support
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2022-03-17 22:45:52 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2022-03-21 09:25:55 +0000
commitf043dd519eecdf701d90309b2f77c7a0db629009 (patch)
treefa43be7d7b2f3e943da405d42ba2d16855c567a2 /lib/Support
parent1b51cf5ecde7ca9e6646d481b0d757dd31b06da8 (diff)
downloadklee-f043dd519eecdf701d90309b2f77c7a0db629009.tar.gz
Fixed a wrong type when computing memory usage on macOS
Diffstat (limited to 'lib/Support')
-rw-r--r--lib/Support/MemoryUsage.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Support/MemoryUsage.cpp b/lib/Support/MemoryUsage.cpp
index 00fe07b3..6e9f9424 100644
--- a/lib/Support/MemoryUsage.cpp
+++ b/lib/Support/MemoryUsage.cpp
@@ -119,7 +119,7 @@ size_t util::GetTotalMallocUsage() {
       KERN_SUCCESS)
     klee_error("malloc_get_all_zones failed.");
 
-  int total = 0;
+  size_t total = 0;
   for (unsigned i = 0; i < num_zones; i++) {
     malloc_zone_statistics(zones[i], &stats);
     total += stats.size_in_use;