mymemory: make snapshot_{malloc,calloc,free} externally linkable

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 6fd7c704b9175c7c47a5df6a50016ded23046a8f..b273608e12586705d8fe10b54b3709a2bfc6bd93 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -68,6 +68,24 @@ void *model_malloc(size_t size) {
 #endif
 }
 
+/** @brief Snapshotting malloc, for use by model-checker (not user progs) */
+void * snapshot_malloc(size_t size)
+{
+       return malloc(size);
+}
+
+/** @brief Snapshotting calloc, for use by model-checker (not user progs) */
+void * snapshot_calloc(size_t count, size_t size)
+{
+       return calloc(count, size);
+}
+
+/** @brief Snapshotting free, for use by model-checker (not user progs) */
+void snapshot_free(void *ptr)
+{
+       free(ptr);
+}
+
 void *system_malloc( size_t size ){
        static void *(*mallocp)(size_t size);
        char *error;