Try to catch data races for memcpy

[c11tester.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index f55c7b0deed28d98cc89530fb8c88a32fc99c1e4..74ecf406e3cff544ef195d7a48178931ba7cb8cb 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -59,7 +59,7 @@ void Scheduler::set_enabled(Thread *t, enabled_type_t enabled_status) {
                enabled_type_t *new_enabled = (enabled_type_t *)snapshot_malloc(sizeof(enabled_type_t) * (threadid + 1));
                memset(&new_enabled[enabled_len], 0, (threadid + 1 - enabled_len) * sizeof(enabled_type_t));
                if (enabled != NULL) {
-                       memcpy(new_enabled, enabled, enabled_len * sizeof(enabled_type_t));
+                       real_memcpy(new_enabled, enabled, enabled_len * sizeof(enabled_type_t));
                        snapshot_free(enabled);
                }
                enabled = new_enabled;