diff options
Diffstat (limited to 'cloog-0.17.0/source/mp_get_memory_functions.c')
| -rw-r--r-- | cloog-0.17.0/source/mp_get_memory_functions.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/cloog-0.17.0/source/mp_get_memory_functions.c b/cloog-0.17.0/source/mp_get_memory_functions.c deleted file mode 100644 index e14e336..0000000 --- a/cloog-0.17.0/source/mp_get_memory_functions.c +++ /dev/null @@ -1,14 +0,0 @@ -#include <gmp.h> - -void mp_get_memory_functions( - void *(**alloc_func_ptr) (size_t), - void *(**realloc_func_ptr) (void *, size_t, size_t), - void (**free_func_ptr) (void *, size_t)) -{ - if (alloc_func_ptr) - *alloc_func_ptr = __gmp_allocate_func; - if (realloc_func_ptr) - *realloc_func_ptr = __gmp_reallocate_func; - if (free_func_ptr) - *free_func_ptr = __gmp_free_func; -} |