From 32e654a5b04567bc88cd0746e14c8e4aec040375 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 18 Sep 2012 10:39:44 -0700
Subject: [PATCH] model: fixup r_modification_order
Bugfix thanks to Brian D.
---
model.cc | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
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;
}
}
--
2.34.1