return model_malloc(size);\
}\
void operator delete(void *p, size_t size) { \
- MYFREE( p ); \
+ model_free( p ); \
}\
void * operator new[](size_t size) { \
return model_malloc(size);\
}\
void operator delete[](void *p, size_t size) {\
- MYFREE(p);\
+ model_free(p);\
}
/** SNAPSHOTALLOC declares the allocators for a class to allocate
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 model_free(void *ptr);
+
+void * snapshot_malloc(size_t size);
+void * snapshot_calloc(size_t count, size_t size);
+void snapshot_free(void *ptr);
void system_free( void * ptr );
void *system_malloc( size_t size );
// deallocate storage p of deleted elements
void deallocate (pointer p, size_type num) {
- MYFREE((void*)p);
+ model_free((void*)p);
}
};