diff options
author | jackpoz <giacomopoz@gmail.com> | 2017-11-19 20:23:00 +0100 |
---|---|---|
committer | jackpoz <giacomopoz@gmail.com> | 2017-11-25 13:18:21 +0100 |
commit | 92cd9bd70db460fdce4af0596cf9d8ee3c3abad5 (patch) | |
tree | 28fe47305cb0a70da890fb1eac9cc0e3f10f6e5f /dep/jemalloc/src/valgrind.c | |
parent | eba1c1ff97afeb761a0130ea5989643ffbbda154 (diff) |
Dep/Jemalloc: Update to Jemalloc 5.0.1
Diffstat (limited to 'dep/jemalloc/src/valgrind.c')
-rw-r--r-- | dep/jemalloc/src/valgrind.c | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/dep/jemalloc/src/valgrind.c b/dep/jemalloc/src/valgrind.c deleted file mode 100644 index 8e7ef3a2e63..00000000000 --- a/dep/jemalloc/src/valgrind.c +++ /dev/null @@ -1,34 +0,0 @@ -#include "jemalloc/internal/jemalloc_internal.h" -#ifndef JEMALLOC_VALGRIND -# error "This source file is for Valgrind integration." -#endif - -#include <valgrind/memcheck.h> - -void -valgrind_make_mem_noaccess(void *ptr, size_t usize) -{ - - VALGRIND_MAKE_MEM_NOACCESS(ptr, usize); -} - -void -valgrind_make_mem_undefined(void *ptr, size_t usize) -{ - - VALGRIND_MAKE_MEM_UNDEFINED(ptr, usize); -} - -void -valgrind_make_mem_defined(void *ptr, size_t usize) -{ - - VALGRIND_MAKE_MEM_DEFINED(ptr, usize); -} - -void -valgrind_freelike_block(void *ptr, size_t usize) -{ - - VALGRIND_FREELIKE_BLOCK(ptr, usize); -} |