From b1891221a7e5bd465ea5809c74afba8d33049af9 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 3 Dec 2012 13:27:58 -0800 Subject: [PATCH] action: allow fence ModelActions to have location == NULL --- action.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(); -- 2.34.1