X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=datarace.cc;fp=datarace.cc;h=da5fa8ce6ea6434ebacf0201e36f44cbba376d7b;hb=bf698c32ac174a4dcfce69ad78cccf2a65e3bf92;hp=544fced0485690e67aabee2d56f8fcbf47d16b1c;hpb=193c917736aedbc4b34e6cae3e6eb35eb5e98502;p=c11tester.git

diff --git a/datarace.cc b/datarace.cc
index 544fced0..da5fa8ce 100644
--- a/datarace.cc
+++ b/datarace.cc
@@ -558,9 +558,9 @@ struct DataRace * fullRaceCheckRead(thread_id_t thread, const void *location, ui
 		if (clock_may_race(currClock, thread, readClock, readThread)) {
 			/* Still need this read in vector */
 			if (copytoindex != i) {
-				ASSERT(record->thread[i] >= 0);
-				record->readClock[copytoindex] = record->readClock[i];
-				record->thread[copytoindex] = record->thread[i];
+				ASSERT(readThread >= 0);
+				record->readClock[copytoindex] = readClock;
+				record->thread[copytoindex] = readThread;
 			}
 			copytoindex++;
 		}