From: Brian Norris <banorris@uci.edu>
Date: Wed, 23 Jan 2013 20:56:01 +0000 (-0800)
Subject: promise: SnapshotAlloc for vector
X-Git-Tag: oopsla2013~334
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=b329a1b8e97612d269dd8c888750b88d7278182f

promise: SnapshotAlloc for vector

We must ensure that any new memory allocated by the model-checker uses
our private snapshotting heap, not the user program's heap.
---

diff --git a/promise.h b/promise.h
index 1f8a810..7e6e396 100644
--- a/promise.h
+++ b/promise.h
@@ -39,7 +39,7 @@ class Promise {
 
 	SNAPSHOTALLOC
  private:
-	std::vector<bool> eliminated_thread;
+	std::vector< bool, SnapshotAlloc<bool> > eliminated_thread;
 	const uint64_t value;
 	const modelclock_t expiration;
 	ModelAction * const read;