From: Brian Norris <banorris@uci.edu>
Date: Tue, 11 Dec 2012 20:56:59 +0000 (-0800)
Subject: cyclegraph: bugfix - use model-checker's allocater for CycleNode::edges
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=61fb4abad48596608278bfb8c3c78c0861a5978b;p=cdsspec-compiler.git

cyclegraph: bugfix - use model-checker's allocater for CycleNode::edges

This vector should use our SnapshotAlloc allocator, to avoid polluting
the user's memory allocator.

This solves an annoying bug that causes us to hit an ASSERT() when a
user's threads aren't allocated in the same location every execution.
---

diff --git a/cyclegraph.h b/cyclegraph.h
index 829c845..d9fa631 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -82,7 +82,7 @@ class CycleNode {
 	const ModelAction *action;
 
 	/** @brief The edges leading out from this node */
-	std::vector<CycleNode *> edges;
+	std::vector<CycleNode *, SnapshotAlloc<CycleNode *> > edges;
 
 	/** Pointer to a RMW node that reads from this node, or NULL, if none
 	 * exists */