From: Brian Norris <banorris@uci.edu>
Date: Tue, 18 Sep 2012 17:39:44 +0000 (-0700)
Subject: model: fixup r_modification_order
X-Git-Tag: pldi2013~177^2^2~12^2~1
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=32e654a5b04567bc88cd0746e14c8e4aec040375;p=model-checker.git

model: fixup r_modification_order

Bugfix thanks to Brian D.
---

diff --git a/model.cc b/model.cc
index d8ae7ea..766e369 100644
--- a/model.cc
+++ b/model.cc
@@ -652,7 +652,7 @@ bool ModelChecker::r_modification_order(ModelAction *curr, const ModelAction *rf
 			 */
 			if (act->happens_before(curr) && act != curr) {
 				if (act->is_write()) {
-					if (rf != act && act != curr) {
+					if (rf != act) {
 						mo_graph->addEdge(act, rf);
 						added = true;
 					}
@@ -663,7 +663,6 @@ bool ModelChecker::r_modification_order(ModelAction *curr, const ModelAction *rf
 						added = true;
 					}
 				}
-
 				break;
 			}
 		}