- if (simcall->call_ == simix::Simcall::NONE) // FIXME: maybe a better way to handle this case
- continue; // if process handling comm is killed
- if (auto* observer = dynamic_cast<kernel::actor::IoWaitanySimcall*>(simcall->observer_)) { // simcall is a wait_any?
- const auto& ios = observer->get_ios();
-
- for (auto* io : ios) {
- io->unregister_simcall(simcall);
-
- if (simcall->timeout_cb_) {
- simcall->timeout_cb_->remove();
- simcall->timeout_cb_ = nullptr;
- }
- }
-
- if (not MC_is_active() && not MC_record_replay_is_active()) {
- auto element = std::find(ios.begin(), ios.end(), this);
- int rank = element != ios.end() ? static_cast<int>(std::distance(ios.begin(), element)) : -1;
- observer->set_result(rank);
- }
- }
+ if (simcall->call_ == actor::Simcall::Type::NONE) // FIXME: maybe a better way to handle this case
+ continue; // if process handling comm is killed
+
+ handle_activity_waitany(simcall);