From 4ece47cf42b72b49d29ae2327baff3a0fcb78a18 Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Sat, 29 Jun 2019 13:10:06 -0700 Subject: [PATCH] Fix bug --- execution.cc | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/execution.cc b/execution.cc index d5fb194f..4b765206 100644 --- a/execution.cc +++ b/execution.cc @@ -1592,18 +1592,6 @@ Thread * ModelExecution::action_select_next_thread(const ModelAction *curr) cons /* Do not split atomic RMW */ if (curr->is_rmwr()) return get_thread(curr); - if (curr->is_write()) { - std::memory_order order = curr->get_mo(); - switch(order) { - case std::memory_order_relaxed: - return get_thread(curr); - case std::memory_order_release: - return get_thread(curr); - default: - return NULL; - } - } - /* Follow CREATE with the created thread */ /* which is not needed, because model.cc takes care of this */ if (curr->get_type() == THREAD_CREATE) -- 2.34.1