projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
a number of fixes to add missing mo_graph edges to speed up detection of infeasible
[model-checker.git]
/
mymemory.h
diff --git
a/mymemory.h
b/mymemory.h
index a6a3c59320731d539860f4ca284a399f0cae7100..6b35f5d14f0efb46738d9389c2e8af72c9d3c6a7 100644
(file)
--- a/
mymemory.h
+++ b/
mymemory.h
@@
-14,13
+14,13
@@
return model_malloc(size);\
}\
void operator delete(void *p, size_t size) { \
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) {\
}\
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
}
/** SNAPSHOTALLOC declares the allocators for a class to allocate
@@
-29,7
+29,7
@@
void *model_malloc(size_t size);
void *model_calloc(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);
+void
model_free
(void *ptr);
static inline void * snapshot_malloc(size_t size) {
return malloc(size);
static inline void * snapshot_malloc(size_t size) {
return malloc(size);
@@
-118,7
+118,7
@@
template <class T>
// deallocate storage p of deleted elements
void deallocate (pointer p, size_type num) {
// deallocate storage p of deleted elements
void deallocate (pointer p, size_type num) {
-
MYFREE
((void*)p);
+
model_free
((void*)p);
}
};
}
};