X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=ca1285612b00c75fd7294bee5af80d3aa52a3468;hb=b2079b62d3578a75e342c012716aa214e3228d42;hp=1a819eaf5584f1e97e88fca439104392c07b7f1b;hpb=075d78a2e09fd11b8b78b6c7b3852a42a279c4f2;p=model-checker.git

diff --git a/action.cc b/action.cc
index 1a819ea..ca12856 100644
--- a/action.cc
+++ b/action.cc
@@ -36,6 +36,9 @@ ModelAction::ModelAction(action_type_t type, memory_order order, void *loc,
 	cv(NULL),
 	sleep_flag(false)
 {
+	/* References to NULL atomic variables can end up here */
+	ASSERT(loc || type == MODEL_FIXUP_RELSEQ);
+
 	Thread *t = thread ? thread : thread_current();
 	this->tid = t->get_id();
 }