From 48222f1152e4a990d875e329049ef0226d6c02f1 Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Wed, 12 Jun 2019 18:32:50 -0400 Subject: [PATCH] Don't do complete checks until we choose store to read from --- execution.cc | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/execution.cc b/execution.cc index e253ab0f..968eacf0 100644 --- a/execution.cc +++ b/execution.cc @@ -1373,12 +1373,8 @@ ModelVector * ModelExecution::build_may_read_from(ModelAction *c } if (allow_read) { - /* Only add feasible reads */ - mo_graph->startChanges(); - r_modification_order(curr, act); - if (!is_infeasible()) - rf_set->push_back(act); - mo_graph->rollbackChanges(); + /* Only add feasible reads */ + rf_set->push_back(act); } /* Include at most one act per-thread that "happens before" curr */ -- 2.34.1