random memory leak fixes and memory access fixes

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 9fbca0391199ba6e2608bacb065d28a7a826c3c8..29fd2ea94a1ebaa57767a3542dd1d78fe454d25d 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -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;
@@ -157,9 +157,9 @@ bool DontFree( void * ptr ){
 
 /** Snapshotting malloc implementation for user programs. */
 void *malloc( size_t size ) {
-       if (mySpace)
+       if (mySpace) {
                return mspace_malloc( mySpace, size );
-       else
+       }       else
                return HandleEarlyAllocationRequest( size );
 }