X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=93c4fc3fdc0369c79d817d4ef268f4fe0bc3ecb3;hb=HEAD;hp=f55c7b0deed28d98cc89530fb8c88a32fc99c1e4;hpb=ab6885beecafb5ae9103845c03a6e72ddacd79ec;p=c11tester.git

diff --git a/schedule.cc b/schedule.cc
index f55c7b0d..93c4fc3f 100644
--- 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;