From: Brian Norris <banorris@uci.edu>
Date: Mon, 3 Dec 2012 21:27:58 +0000 (-0800)
Subject: action: allow fence ModelActions to have location == NULL
X-Git-Tag: oopsla2013~484
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=b1891221a7e5bd465ea5809c74afba8d33049af9;p=model-checker.git

action: allow fence ModelActions to have location == NULL
---

diff --git a/action.cc b/action.cc
index 9427c7d..402ff50 100644
--- a/action.cc
+++ b/action.cc
@@ -37,7 +37,7 @@ ModelAction::ModelAction(action_type_t type, memory_order order, void *loc,
 	sleep_flag(false)
 {
 	/* References to NULL atomic variables can end up here */
-	ASSERT(loc || type == MODEL_FIXUP_RELSEQ);
+	ASSERT(loc || type == ATOMIC_FENCE || type == MODEL_FIXUP_RELSEQ);
 
 	Thread *t = thread ? thread : thread_current();
 	this->tid = t->get_id();