From: Brian Norris <banorris@uci.edu>
Date: Fri, 16 Nov 2012 02:01:31 +0000 (-0800)
Subject: model: annotate SNAPSHOT for bug_message
X-Git-Tag: oopsla2013~528
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=292b21b394ca03ca659c83f92bfeaea9ffb7ef80

model: annotate SNAPSHOT for bug_message

Since we use operator new with bug_message, it needs to be marked
SNAPSHOTALLOC.
---

diff --git a/model.cc b/model.cc
index 3b83b56..436e468 100644
--- a/model.cc
+++ b/model.cc
@@ -28,6 +28,8 @@ struct bug_message {
 
 	char *msg;
 	void print() { printf("%s", msg); }
+
+	SNAPSHOTALLOC
 };
 
 /**