model: THREAD_FINISH triggers release sequence check

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index b702d39945fa5cbaa7953b106aad3f7fa748a273..2add16c33868ef00d7cca763e5d87187d95baa8f 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -14,7 +14,7 @@ static mspace sStaticSpace = NULL;
 #endif
 
 /** Non-snapshotting calloc for our use. */
-void *MYCALLOC(size_t count, size_t size) {
+void *model_calloc(size_t count, size_t size) {
 #if USE_MPROTECT_SNAPSHOT
        static void *(*callocp)(size_t count, size_t size)=NULL;
        char *error;
@@ -41,7 +41,7 @@ void *MYCALLOC(size_t count, size_t size) {
 }
 
 /** Non-snapshotting malloc for our use. */
-void *MYMALLOC(size_t size) {
+void *model_malloc(size_t size) {
 #if USE_MPROTECT_SNAPSHOT
        static void *(*mallocp)(size_t size)=NULL;
        char *error;
@@ -100,7 +100,7 @@ void system_free( void * ptr ){
 }
 
 /** Non-snapshotting free for our use. */
-void MYFREE(void *ptr) {
+void model_free(void *ptr) {
 #if USE_MPROTECT_SNAPSHOT
        static void (*freep)(void *);
        char *error;