model: refactor add_future_value, add documentation

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index e77e80cc71de39663fd4078307c7c2220fee68a6..eb0fd438d388931ef0316231abd828d6e5295581 100644 (file)
--- 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();