Update readme

[c11tester.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index f55c7b0deed28d98cc89530fb8c88a32fc99c1e4..93c4fc3fdc0369c79d817d4ef268f4fe0bc3ecb3 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -57,9 +57,9 @@ void Scheduler::set_enabled(Thread *t, enabled_type_t enabled_status) {
        int threadid = id_to_int(t->get_id());
        if (threadid >= enabled_len) {
                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));
+               real_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;