From a42782f1808235ddc55c1d1de5fc8ad9dc39176b Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 27 Apr 2021 14:19:25 +0200 Subject: [PATCH] Kill dead code. It's never used, and I doubt that it's entirely correct. --- src/kernel/activity/ActivityImpl.cpp | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/src/kernel/activity/ActivityImpl.cpp b/src/kernel/activity/ActivityImpl.cpp index 3ce0954a7b..16e3bce599 100644 --- a/src/kernel/activity/ActivityImpl.cpp +++ b/src/kernel/activity/ActivityImpl.cpp @@ -71,20 +71,7 @@ void ActivityImpl::wait_for(actor::ActorImpl* issuer, double timeout) /* Associate this simcall to the synchro */ register_simcall(&issuer->simcall_); - if (MC_is_active() || MC_record_replay_is_active()) { - int idx = issuer->simcall_.mc_value_; - if (idx == 0) { - state_ = State::DONE; - } else { - /* If we reached this point, the wait simcall must have a timeout */ - /* Otherwise it shouldn't be enabled and executed by the MC */ - if (timeout < 0.0) - THROW_IMPOSSIBLE; - state_ = State::TIMEOUT; - } - finish(); - return; - } + xbt_assert(not MC_is_active() && not MC_record_replay_is_active(), "MC is currently not supported here."); /* If the synchro is already finished then perform the error handling */ if (state_ != State::RUNNING) -- 2.20.1