From: Brian Norris <banorris@uci.edu>
Date: Thu, 24 May 2012 17:32:19 +0000 (-0700)
Subject: mymemory: define the "opposite" of MEMALLOC
X-Git-Tag: pldi2013~399
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d212f6a2fcc841987daf7931aabbc7689320528f;p=model-checker.git

mymemory: define the "opposite" of MEMALLOC

We may want an identifier to show that a particular class is intended to be
snapshotted.
---

diff --git a/mymemory.h b/mymemory.h
index 85ef7b0..afaffa4 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -17,6 +17,9 @@
 		MYFREE(p);\
 	}
 
+/* Empty define; represents opposite of MEMALLOC */
+#define SNAPSHOTALLOC
+
 void *MYMALLOC(size_t size);
 void MYFREE(void *ptr);