X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=threads-model.h;h=eb0fd438d388931ef0316231abd828d6e5295581;hp=e77e80cc71de39663fd4078307c7c2220fee68a6;hb=db2c4ca161b4cba9e453431517af86798c0e9bdb;hpb=a575b5d5d2f0edab95e7e0ef8ca6e40b68e0bad9

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();