From 2c43bb9930926c9671d6fce4c542a4a6c415f1b3 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 13 Sep 2012 14:58:36 -0700
Subject: [PATCH] model: bugfix - don't clobber 'updated'

The 'updated' variable should stay 'true' even if modification orders and
promises aren't updated by the "write" checks. This could be a RMW which made
updates via the "read" checks.
---
 model.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 1cde354..d23e994 100644
--- a/model.cc
+++ b/model.cc
@@ -401,7 +401,7 @@ Thread * ModelChecker::check_current_action(ModelAction *curr)
 	if (curr->is_write()) {
 		bool updated_mod_order = w_modification_order(curr);
 		bool updated_promises = resolve_promises(curr);
-		updated = updated_mod_order || updated_promises;
+		updated = updated || updated_mod_order || updated_promises;
 
 		if (promises->size()==0) {
 			for (unsigned int i = 0; i<futurevalues->size(); i++) {
-- 
2.34.1