X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=datarace.cc;h=dd88c2fe98f095d678e55c3dbf1162d98298b9d7;hp=58c52dd63c7a80baf27f3017cc4c195054a8f524;hb=bb18310b8c8c97d8e396940bdfee740bd6d3e30a;hpb=f2370e62cde5daffcd0a75c0e95b2050ed63d414

diff --git a/datarace.cc b/datarace.cc
index 58c52dd6..dd88c2fe 100644
--- a/datarace.cc
+++ b/datarace.cc
@@ -256,6 +256,9 @@ void raceCheckWrite(thread_id_t thread, void *location)
 	uint64_t *shadow = lookupAddressEntry(location);
 	uint64_t shadowval = *shadow;
 	ClockVector *currClock = get_execution()->get_cv(thread);
+	if (currClock == NULL)
+		return;
+
 	struct DataRace * race = NULL;
 	/* Do full record */
 	if (shadowval != 0 && !ISSHORTRECORD(shadowval)) {
@@ -424,6 +427,9 @@ void raceCheckRead(thread_id_t thread, const void *location)
 	uint64_t *shadow = lookupAddressEntry(location);
 	uint64_t shadowval = *shadow;
 	ClockVector *currClock = get_execution()->get_cv(thread);
+	if (currClock == NULL)
+		return;
+
 	struct DataRace * race = NULL;
 
 	/* Do full record */