X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=dd22909c9bb31a32405070cb2e6873ac5d584e95;hb=7742256df627848c1c375f979f5369a45c92057b;hp=efc36e98c8be4b607bb0927936beed7e6769712f;hpb=25d73096cfc14c655f94b01bb235cc5efd1d5696;p=c11tester.git

diff --git a/mymemory.cc b/mymemory.cc
index efc36e98..dd22909c 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -18,29 +18,23 @@
 size_t allocatedReqs[REQUESTS_BEFORE_ALLOC] = { 0 };
 int nextRequest = 0;
 int howManyFreed = 0;
-static mspace sStaticSpace = NULL;
+mspace sStaticSpace = NULL;
 
 /** Non-snapshotting calloc for our use. */
 void *model_calloc(size_t count, size_t size)
 {
-	if (!sStaticSpace)
-		sStaticSpace = create_shared_mspace();
 	return mspace_calloc(sStaticSpace, count, size);
 }
 
 /** Non-snapshotting malloc for our use. */
 void *model_malloc(size_t size)
 {
-	if (!sStaticSpace)
-		sStaticSpace = create_shared_mspace();
 	return mspace_malloc(sStaticSpace, size);
 }
 
 /** Non-snapshotting malloc for our use. */
 void *model_realloc(void *ptr, size_t size)
 {
-	if (!sStaticSpace)
-		sStaticSpace = create_shared_mspace();
 	return mspace_realloc(sStaticSpace, ptr, size);
 }