From: Brian Norris <banorris@uci.edu>
Date: Thu, 14 Jun 2012 06:20:43 +0000 (-0700)
Subject: snapshot-interface: don't export SnapshotGlobalSegments()
X-Git-Tag: pldi2013~391^2~33
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=59f0936bdf663c198e36b3b365868bdea8420594;p=model-checker.git

snapshot-interface: don't export SnapshotGlobalSegments()

SnapshotGlobalSegments() is only used within snapshot-interface.cc, so declare
it static and remove it from the header.
---

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index c88e65a..baedf47 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -25,8 +25,7 @@ SnapshotStack * snapshotObject;
  *	that may contain globals and then configures the snapshotting
  *	library to snapshot them.
  */
-
-void SnapshotGlobalSegments(){
+static void SnapshotGlobalSegments(){
 	int pid = getpid();
 	char buf[9000], execname[100];
 	FILE *map;
@@ -75,7 +74,7 @@ void SnapshotGlobalSegments(){
  *	that may contain globals and then configures the snapshotting
  *	library to snapshot them.
  */
-void SnapshotGlobalSegments(){
+static void SnapshotGlobalSegments(){
 	int pid = getpid();
 	char buf[9000], filename[100];
 	FILE *map;
diff --git a/snapshot-interface.h b/snapshot-interface.h
index 1c4c32b..48fa2e3 100644
--- a/snapshot-interface.h
+++ b/snapshot-interface.h
@@ -15,8 +15,6 @@ void initSnapShotLibrary(unsigned int numbackingpages,
 		unsigned int numheappages, VoidFuncPtr entryPoint);
 void finalize();
 
-void SnapshotGlobalSegments();
-
 struct stackEntry {
   struct stackEntry *next;
   snapshot_id snapshotid;