mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-21 16:16:38 +00:00
Code Activity

add USE_MALLOC_USEABLE_SIZE option

Browse source
This commit is contained in:
Remy Wang 2024-09-19 14:30:45 -07:00
parent 77724bf7e0
commit 5c8164fa96
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CMakeLists.txt
View file

@ -213,7 +213,7 @@ list(APPEND Z3_COMPONENT_EXTRA_INCLUDE_DIRS
option(Z3_USE_MALLOC_USABLE_SIZE "Use malloc_usable_size (or equivalents like malloc_size or _msize)" ON)
if (Z3_USE_MALLOC_USABLE_SIZE)
message(STATUS "Using malloc_usable_size")
list(APPEND Z3_COMPONENT_CXX_DEFINES "-DHAS_MALLOC_USABLE_SIZE")
list(APPEND Z3_COMPONENT_CXX_DEFINES "-DUSE_MALLOC_USABLE_SIZE")
else()
message(STATUS "Not using malloc_usable_size")
endif()

6
src/util/memory_manager.cpp
View file

@ -13,17 +13,21 @@ Copyright (c) 2015 Microsoft Corporation
#include "util/error_codes.h"
#include "util/debug.h"
#include "util/scoped_timer.h"
#ifndef HAS_MALLOC_USABLE_SIZE
#ifndef USE_MALLOC_USABLE_SIZE
// drop calls to malloc_usable_size
#elif defined(__GLIBC__)
# include <malloc.h>
# define HAS_MALLOC_USABLE_SIZE
#elif defined(__APPLE__)
# include <malloc/malloc.h>
# define HAS_MALLOC_USABLE_SIZE
# define malloc_usable_size malloc_size
#elif defined(__FreeBSD__)
# include <malloc_np.h>
# define HAS_MALLOC_USABLE_SIZE
#elif defined(_WINDOWS)
# include <malloc.h>
# define HAS_MALLOC_USABLE_SIZE
# define malloc_usable_size _msize
#endif