1 files changed, 14 insertions, 0 deletions
diff --git a/polly/lib/External/isl/mp_get_memory_functions.c b/polly/lib/External/isl/mp_get_memory_functions.c
new file mode 100644
index 00000000000..e14e336ceb6
--- /dev/null
+++ b/polly/lib/External/isl/mp_get_memory_functions.c
@@ -0,0 +1,14 @@
+#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;
+}