Get rid of uninitialized actions and just use non-atomic writes instead

[c11tester.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 76fbe936260294b96132cfddc47c605dba3e91ab..895e9c019e539ba8ea78840cbd0784fd30e6c2d1 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -66,12 +66,12 @@ bool hasNonAtomicStore(const void *address) {
        uint64_t shadowval = *shadow;
        if (ISSHORTRECORD(shadowval)) {
                //Do we have a non atomic write with a non-zero clock
-               return ((WRITEVECTOR(shadowval) != 0) && !(ATOMICMASK & shadowval));
+               return !(ATOMICMASK & shadowval);
        } else {
                if (shadowval == 0)
                        return false;
                struct RaceRecord *record = (struct RaceRecord *)shadowval;
-               return !record->isAtomic && record->writeClock != 0;
+               return !record->isAtomic;
        }
 }