bug fix

[c11tester.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index be0fc3b6a3fee6803f95d5f6127706cdabb24c27..76fbe936260294b96132cfddc47c605dba3e91ab 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -676,7 +676,7 @@ void atomraceCheckRead(thread_id_t thread, const void *location)
                goto Exit;
        }
 
-       if (shadowval && ATOMICMASK)
+       if (shadowval & ATOMICMASK)
                return;
 
        {