X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=eb0fd438d388931ef0316231abd828d6e5295581;hb=02558d484765370cd00ff15008412aa4a15eea11;hp=e77e80cc71de39663fd4078307c7c2220fee68a6;hpb=5ea8e3d5d861ed363e5ac5f3b20b8181dd197efb;p=model-checker.git

diff --git a/threads-model.h b/threads-model.h
index e77e80c..eb0fd43 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -126,6 +126,18 @@ public:
 	 * to allow their allocation/deallocation to follow the same pattern as
 	 * the rest of the backtracked/replayed program.
 	 */
+	void * operator new(size_t size) {
+		return Thread_malloc(size);
+	}
+	void operator delete(void *p, size_t size) {
+		Thread_free(p);
+	}
+	void * operator new[](size_t size) {
+		return Thread_malloc(size);
+	}
+	void operator delete[](void *p, size_t size) {
+		Thread_free(p);
+	}
 private:
 	int create_context();