rename MYCALLOC -> model_calloc

[model-checker.git] / mymemory.h

diff --git a/mymemory.h b/mymemory.h
index 4c44f5be514c4e8fdd9344f2cee7fb939ca8a3ad..a6a3c59320731d539860f4ca284a399f0cae7100 100644 (file)
--- a/mymemory.h
+++ b/mymemory.h
@@ -11,13 +11,13 @@
  *     memory in the non-snapshotting heap. */
 #define MEMALLOC \
        void * operator new(size_t size) { \
-               return MYMALLOC(size);\
+               return model_malloc(size);\
        }\
        void operator delete(void *p, size_t size) { \
                MYFREE( p ); \
        }\
        void * operator new[](size_t size) { \
-               return MYMALLOC(size);\
+               return model_malloc(size);\
        }\
        void operator delete[](void *p, size_t size) {\
                MYFREE(p);\
@@ -27,10 +27,20 @@
  *     memory in the snapshotting heap. */
 #define SNAPSHOTALLOC
 
-void *MYMALLOC(size_t size);
-void *MYCALLOC(size_t count, size_t size);
+void *model_malloc(size_t size);
+void *model_calloc(size_t count, size_t size);
 void MYFREE(void *ptr);
 
+static inline void * snapshot_malloc(size_t size) {
+       return malloc(size);
+}
+static inline void * snapshot_calloc(size_t count, size_t size) {
+       return calloc(count, size);
+}
+static inline void snapshot_free(void *ptr) {
+       free(ptr);
+}
+
 void system_free( void * ptr );
 void *system_malloc( size_t size );
 
@@ -90,7 +100,7 @@ template <class T>
 
        // allocate but don't initialize num elements of type T
        pointer allocate (size_type num, const void* = 0) {
-           pointer p = ( pointer )MYMALLOC( num * sizeof( T ) );
+           pointer p = ( pointer )model_malloc( num * sizeof( T ) );
            return p;
        }