From 6f66bffd0b774c219883d634586a4565c9e59af5 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 8 Oct 2012 12:21:15 -0700
Subject: [PATCH] mymemory: kill system_free()

This function is not used
---
 mymemory.cc | 15 ---------------
 mymemory.h  |  1 -
 2 files changed, 16 deletions(-)

diff --git a/mymemory.cc b/mymemory.cc
index 54885ca..5cb06a4 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -103,21 +103,6 @@ void *system_malloc( size_t size ){
 	return ptr;
 }
 
-void system_free( void * ptr ){
-	static void (*freep)(void *);
-	char *error;
-
-	/* get address of libc free */
-	if (!freep) {
-		freep = ( void  ( * )( void * ) )dlsym(RTLD_NEXT, "free");
-		if ((error = dlerror()) != NULL) {
-			fputs(error, stderr);
-			exit(EXIT_FAILURE);
-		}
-	}
-	freep(ptr);
-}
-
 /** Non-snapshotting free for our use. */
 void model_free(void *ptr) {
 #if USE_MPROTECT_SNAPSHOT
diff --git a/mymemory.h b/mymemory.h
index a2b73cb..b7936d8 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -47,7 +47,6 @@ void * snapshot_malloc(size_t size);
 void * snapshot_calloc(size_t count, size_t size);
 void snapshot_free(void *ptr);
 
-void system_free( void * ptr );
 void *system_malloc( size_t size );
 
 /** @brief Provides a non-snapshotting allocator for use in STL classes.
-- 
2.34.1