projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge
[satune.git]
/
src
/
mymemory.h
diff --git
a/src/mymemory.h
b/src/mymemory.h
index e0a60bd13294b871199b826e88c0ea13261c1b3d..700fb4f72553957a33259b9e7707e209b797367d 100644
(file)
--- a/
src/mymemory.h
+++ b/
src/mymemory.h
@@
-24,13
+24,13
@@
void ourfree(void *ptr);
void * ourcalloc(size_t count, size_t size);
void * ourrealloc(void *ptr, size_t size);
void ourfree(void *ptr);
void * ourcalloc(size_t count, size_t size);
void * ourrealloc(void *ptr, size_t size);
-*/
+
*/
-#if
1
-void *
model_malloc(size_t size);
+#if
def SATCHECK_CONFIG
+void *model_malloc(size_t size);
void model_free(void *ptr);
void model_free(void *ptr);
-void *
model_calloc(size_t count, size_t size);
-void *
model_realloc(void *ptr, size_t size);
+void *model_calloc(size_t count, size_t size);
+void *model_realloc(void *ptr, size_t size);
#define ourmalloc model_malloc
#define ourmalloc model_malloc