From 9a97c2b585705b1a1870e799e387f95ea3b7b12c Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Wed, 5 Sep 2012 00:27:23 -0700 Subject: [PATCH] bug in race detector --- datarace.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/datarace.cc b/datarace.cc index f0d3dc61..fb9ca61a 100644 --- a/datarace.cc +++ b/datarace.cc @@ -252,5 +252,5 @@ void raceCheckRead(thread_id_t thread, void *location, ClockVector *currClock) { return; } - *shadow = ENCODEOP(writeThread, writeClock, threadid, ourClock); + *shadow = ENCODEOP(threadid, ourClock, id_to_int(writeThread), writeClock); } -- 2.34.1