From 9115c8a01b0367665b4b7b3f74dc63a375ac81c6 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 20 Aug 2012 15:59:25 -0700 Subject: [PATCH] action: update 'reads_from' field before synchronization As the ModelChecker's release/acquire functionality gets more complex, it makes more sense to assign the ModelAction::reads_from field before checking synchronization. Currently, this makes no change in behavior. --- action.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/action.cc b/action.cc index 5c036ef..b9e9c02 100644 --- a/action.cc +++ b/action.cc @@ -165,10 +165,10 @@ void ModelAction::create_cv(const ModelAction *parent) void ModelAction::read_from(const ModelAction *act) { ASSERT(cv); + reads_from = act; if (act!=NULL && act->is_release() && this->is_acquire()) { synchronize_with(act); } - reads_from = act; } /** -- 2.34.1