From: Brian Norris <banorris@uci.edu>
Date: Tue, 16 Apr 2013 01:33:28 +0000 (-0700)
Subject: datarace: make globals static
X-Git-Tag: oopsla2013~69
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=765b77b9d1dff55d4f43b03c5aef52e514a8a4cf;ds=sidebyside

datarace: make globals static

They're only global within this file.
---

diff --git a/datarace.cc b/datarace.cc
index 9f75642..5f007f3 100644
--- a/datarace.cc
+++ b/datarace.cc
@@ -8,10 +8,10 @@
 #include "config.h"
 #include "action.h"
 
-struct ShadowTable *root;
+static struct ShadowTable *root;
 SnapVector<struct DataRace *> unrealizedraces;
-void *memory_base;
-void *memory_top;
+static void *memory_base;
+static void *memory_top;
 
 
 /** This function initialized the data race detector. */