From 9c1c620b620e19646e877be3fd7f63421ffee087 Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Fri, 9 Jun 2017 09:23:39 +0200 Subject: [PATCH] Additional function from dlmalloc --- src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h index 5e6b3292aa7..e31c605d0fb 100644 --- a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h +++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h @@ -69,9 +69,11 @@ extern void* __e_acsl_mspace_calloc(mspace msp, size_t, size_t); extern void* __e_acsl_mspace_realloc(mspace msp, void*, size_t); extern void* __e_acsl_mspace_aligned_alloc(mspace, size_t, size_t); extern int __e_acsl_mspace_posix_memalign(mspace, void **, size_t, size_t); +extern void* __e_acsl_mspace_least_addr(mspace); #define create_mspace __e_acsl_create_mspace #define destroy_mspace __e_acsl_destroy_mspace +#define mspace_least_addr __e_acsl_mspace_least_addr #define mspace_malloc __e_acsl_mspace_malloc #define mspace_free __e_acsl_mspace_free #define mspace_calloc __e_acsl_mspace_calloc -- GitLab