From ee118c7912f975c32ccaf0edbc0b6afd49a365aa Mon Sep 17 00:00:00 2001 From: root Date: Thu, 26 Dec 2019 00:40:07 -0800 Subject: [PATCH] Bug fix --- execution.cc | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/execution.cc b/execution.cc index 504f7f52..54e14c30 100644 --- a/execution.cc +++ b/execution.cc @@ -1783,8 +1783,8 @@ void ModelExecution::collectActions() { if (act->is_read()) { if (islastact) { act->set_read_from(NULL); - } - if (act->get_reads_from()->is_free()) { + continue; + } else if (act->get_reads_from()->is_free()) { removeAction(act); delete act; } else { @@ -1798,9 +1798,7 @@ void ModelExecution::collectActions() { act->set_last_fence_release(NULL); } } - } - - if (islastact) { + } else if (islastact) { continue; } else if (act->is_free()) { removeAction(act); -- 2.34.1