mymemory/snapshot: rearrange snapshot implementation

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index a15a13dd522bf54bb0b7e3c7fd49ff014467db56..5c11d473a34d5420c6b1a01e109f9f619355058f 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -38,10 +38,8 @@ void *model_calloc(size_t count, size_t size)
        ptr = callocp(count, size);
        return ptr;
 #else
-       if (!snapshotrecord)
-               createSharedMemory();
        if (!sStaticSpace)
-               sStaticSpace = create_mspace_with_base((void *)(snapshotrecord->mSharedMemoryBase), SHARED_MEMORY_DEFAULT - sizeof(struct SnapShot), 1);
+               sStaticSpace = create_shared_mspace();
        return mspace_calloc(sStaticSpace, count, size);
 #endif
 }
@@ -65,10 +63,8 @@ void *model_malloc(size_t size)
        ptr = mallocp(size);
        return ptr;
 #else
-       if (!snapshotrecord)
-               createSharedMemory();
        if (!sStaticSpace)
-               sStaticSpace = create_mspace_with_base((void *)(snapshotrecord->mSharedMemoryBase), SHARED_MEMORY_DEFAULT - sizeof(struct SnapShot), 1);
+               sStaticSpace = create_shared_mspace();
        return mspace_malloc(sStaticSpace, size);
 #endif
 }