From: Brian Demsky <bdemsky@uci.edu>
Date: Sat, 29 Jun 2019 20:10:06 +0000 (-0700)
Subject: Fix bug
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=4ece47cf42b72b49d29ae2327baff3a0fcb78a18

Fix bug
---

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)