X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=ca1285612b00c75fd7294bee5af80d3aa52a3468;hb=20a4630cb01dc613d138d29a4b03a424bf1fd74d;hp=1a819eaf5584f1e97e88fca439104392c07b7f1b;hpb=4546308ab989c074f83d8607e16f13ffbcff494a;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();
 }