action: add NULL dereference assertion

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index 1a819eaf5584f1e97e88fca439104392c07b7f1b..ca1285612b00c75fd7294bee5af80d3aa52a3468 100644 (file)
--- 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();
 }