datarace: don't export unrealized race vector

[model-checker.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index af70041b231fbccbba9f109a8c4b282267e4a022..41bfbe0eaa5679d77faa111502833205c936e540 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -8,9 +8,10 @@
 #include "config.h"
 #include "action.h"
 #include "execution.h"
+#include "stl-model.h"
 
 static struct ShadowTable *root;
-SnapVector<struct DataRace *> unrealizedraces;
+static SnapVector<DataRace *> unrealizedraces;
 static void *memory_base;
 static void *memory_top;
 
@@ -354,3 +355,8 @@ void raceCheckRead(thread_id_t thread, const void *location)
 
        *shadow = ENCODEOP(threadid, ourClock, id_to_int(writeThread), writeClock);
 }
+
+bool haveUnrealizedRaces()
+{
+       return !unrealizedraces.empty();
+}