projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
372a94c
)
Fix bug
author
Brian Demsky
<bdemsky@uci.edu>
Sat, 29 Jun 2019 20:10:06 +0000
(13:10 -0700)
committer
Brian Demsky
<bdemsky@uci.edu>
Sat, 29 Jun 2019 20:10:06 +0000
(13:10 -0700)
execution.cc
patch
|
blob
|
history
diff --git
a/execution.cc
b/execution.cc
index d5fb194f633c890698cfd91ed08571614ad3956c..4b76520660e2f0fedc67d72c8f9f262bbed843fc 100644
(file)
--- 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);
/* 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)
/* Follow CREATE with the created thread */
/* which is not needed, because model.cc takes care of this */
if (curr->get_type() == THREAD_CREATE)