1
diff -ur before/memory.c after/memory.c
2
--- before/memory.c 2007-08-30 19:31:40.000000000 +0100
3
+++ after/memory.c 2009-06-21 19:12:39.000000000 +0100
8
+void * stgAllocForGMP (size_t size_in_bytes);
9
+void * stgReallocForGMP (void *ptr, size_t old_size, size_t new_size);
10
+void stgDeallocForGMP (void *ptr, size_t size);
12
+void * (*__gmp_allocate_func) _PROTO ((size_t)) = stgAllocForGMP;
13
+void * (*__gmp_reallocate_func) _PROTO ((void *, size_t, size_t))
15
+void (*__gmp_free_func) _PROTO ((void *, size_t)) = stgDeallocForGMP;
18
void * (*__gmp_allocate_func) _PROTO ((size_t)) = __gmp_default_allocate;
19
void * (*__gmp_reallocate_func) _PROTO ((void *, size_t, size_t))
20
= __gmp_default_reallocate;
21
void (*__gmp_free_func) _PROTO ((void *, size_t)) = __gmp_default_free;
25
/* Default allocation functions. In case of failure to allocate/reallocate