model: annotate SNAPSHOT for bug_message
authorBrian Norris <banorris@uci.edu>
Fri, 16 Nov 2012 02:01:31 +0000 (18:01 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 16 Nov 2012 02:01:31 +0000 (18:01 -0800)
Since we use operator new with bug_message, it needs to be marked
SNAPSHOTALLOC.

model.cc

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