Small changes; slightly faster than tsan11rec in jsbench now

[c11tester.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 544fced0485690e67aabee2d56f8fcbf47d16b1c..da5fa8ce6ea6434ebacf0201e36f44cbba376d7b 100644 (file)
--- 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++;
                }